280 search results - page 3 / 56 » Generating Regression Tests via Model Checking |
KBSE
2009
IEEE
14 years 16 days ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
AAAI
2010
13 years 7 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...
TACAS
1998
Springer
13 years 10 months ago
1998
Springer
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
METRICS
2003
IEEE
13 years 11 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...