650 search results - page 18 / 130 » The SpinJa Model Checker |
JELIA
2004
Springer
14 years 26 days ago
2004
Springer
GI
2007
Springer
13 years 11 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
FM
2006
Springer
13 years 11 months ago
2006
Springer
