126 search results - page 8 / 26 » Specifying and Generating Test Cases Using Observer Automata |
139
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
142
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
137
click to vote
UML
2001
Springer
15 years 9 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...
150
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
179
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...