Journal article icon

Journal article

Tools for Test Case Generation.

Abstract:

System vendors focus more and more on the quality of a system instead of increasing functionality. Testing is the most viable and widely used technique to improve several quality aspects, accompanying the entire development cycle of a product. Motivated by the success of model-based software development and verification approaches, model-based testing has recently drawn attention of both theory and practice. System development tools reflect this tendency in many ways, automatic model-based ge...

Expand abstract

Actions


Access Document


Publisher copy:
10.1007/11498490_18

Authors


Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
Model-Based Testing of Reactive Systems
Volume:
3472
Pages:
391-438
Publication date:
2004-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:43f69a61-b0e9-4bee-8036-944df91fb1e8
Source identifiers:
332665
Local pid:
pubs:332665
Language:
English

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP