979 search results - page 12 / 196 » Automated Environment Generation for Software Model Checking |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
ICWS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
CASCON
1996
13 years 9 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
ENTCS
2007
13 years 7 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...