6704 search results - page 33 / 1341 » Testing Scenario-Based Models |
SCAM
2009
IEEE
14 years 2 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
EUROCAST
2009
Springer
14 years 2 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
ICST
2009
IEEE
13 years 5 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...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
COMPSAC
2002
IEEE
14 years 24 days ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...