451 search results - page 2 / 91 » Engineering Abstractions in Model Checking and Testing |
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
FSTTCS
1999
Springer
15 years 1 months ago
1999
Springer
114
click to vote
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...