3031 search results - page 29 / 607 » Model Driven Testing Based on Test History |
120
click to vote
INFSOF
2007
15 years 11 days ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
89
Voted
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
114
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
131
click to vote
ICST
2009
IEEE
14 years 10 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...