979 search results - page 13 / 196 » Automated Environment Generation for Software Model Checking |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
FASE
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
ISSE
2010
13 years 7 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...