243 search results - page 2 / 49 » Software Testing via Model Checking |
STTT
2010
14 years 6 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
AAAI
2010
15 years 1 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
15 years 3 months ago
1998
Springer
86
Voted
KBSE
2010
IEEE
14 years 9 months ago
2010
IEEE