714 search results - page 17 / 143 » Verification and Compliance Testing |
CAV
2010
Springer
15 years 3 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...
120
Voted
CASES
2007
ACM
15 years 4 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...
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
84
Voted
TAICPART
2006
IEEE
15 years 6 months ago
2006
IEEE