6 search results - page 1 / 2 » Creating Test-Cases Incrementally with Model-Checkers |
GI
2007
Springer
13 years 8 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...
FATES
2003
Springer
13 years 10 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
IASTEDSE
2004
13 years 6 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
VLDB
2007
ACM
13 years 11 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
ISSRE
2007
IEEE
13 years 6 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...