68 search results - page 4 / 14 » Test Suite Reduction in Conformance Testing |
140
Voted
FASE
2007
Springer
15 years 12 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...
135
click to vote
FASE
2004
Springer
15 years 11 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...
155
Voted
SOQUA
2007
15 years 7 months ago
2007
151
click to vote
UML
2001
Springer
15 years 10 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...
183
click to vote
ENTCS
2007
15 years 5 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...