979 search results - page 6 / 196 » Automated Environment Generation for Software Model Checking |
WSC
1990
13 years 8 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
ICSE
2009
IEEE-ACM
14 years 4 days ago
2009
IEEE-ACM
