979 search results - page 5 / 196 » Automated Environment Generation for Software Model Checking |
MSS
1999
IEEE
13 years 11 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
QOSA
2009
Springer
14 years 2 days ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
ESEC
1999
Springer
13 years 11 months ago
1999
Springer
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
ECMDAFA
2009
Springer
13 years 5 months ago
2009
Springer
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...