243 search results - page 1 / 49 » Software Testing via Model Checking |
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
95
Voted
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
SCAM
2009
IEEE
15 years 6 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
FORTE
2004
15 years 1 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
FASE
2003
Springer
15 years 5 months ago
2003
Springer
