2513 search results - page 341 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
102
Voted
ENTCS
2002
15 years 14 days ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
120
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
143
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
202
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
110
click to vote
CBSE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...