105 search results - page 1 / 21 » An Evaluation of Model Checkers for Specification Based Test... |
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
ICECCS
2000
IEEE
13 years 8 months ago
2000
IEEE
This paper compares three specification-based testing criteria using Mathur and Wong's PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full pred...
ENTCS
2007
13 years 4 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
FATES
2003
Springer
13 years 9 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) ...
HICSS
2003
IEEE
13 years 9 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...