334 search results - page 2 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
TACAS
1997
Springer
13 years 9 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
DEPCOS
2006
IEEE
13 years 11 months ago
2006
IEEE
ENTCS
2008
13 years 5 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
ENTCS
2007
13 years 5 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...
ICST
2009
IEEE
13 years 3 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...