488 search results - page 8 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
159
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...
158
click to vote
ECBS
2005
IEEE
15 years 12 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
205
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
202
Voted
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
184
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...