3281 search results - page 91 / 657 » An Approach to use Executable Models for Testing |
109
click to vote
ET
1998
15 years 2 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
108
click to vote
AAAI
1994
15 years 3 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
131
click to vote
ICST
2009
IEEE
15 years 6 days ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
113
click to vote
AAAI
2010
15 years 3 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
118
click to vote
SPLC
2008
15 years 3 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...