862 search results - page 105 / 173 » Model Checking Interrupt-Dependent Software |
ERLANG
2008
ACM
15 years 1 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
110
click to vote
SEKE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
113
click to vote
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
FASE
2004
Springer
15 years 5 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
94
Voted
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...