68 search results - page 4 / 14 » Test Suite Reduction in Conformance Testing |
108
Voted
FASE
2007
Springer
15 years 9 months ago
2007
Springer
The size of a test-suite has a direct impact on the costs and the effort of software testing. Especially during regression testing, when software is re-tested after some modifica...
101
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
122
Voted
SOQUA
2007
15 years 4 months ago
2007
127
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
155
Voted
ENTCS
2007
15 years 3 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...