714 search results - page 17 / 143 » Verification and Compliance Testing |
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
BMEI
2008
IEEE
14 years 2 months ago
2008
IEEE
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE