673 search results - page 23 / 135 » A Model Checker for AADL |
ATVA
2004
Springer
15 years 2 months ago
2004
Springer
CAV
2004
Springer
15 years 2 months ago
2004
Springer
ISOLA
2004
Springer
15 years 2 months ago
2004
Springer
JELIA
2004
Springer
15 years 2 months ago
2004
Springer
GI
2007
Springer
15 years 1 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...