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
- Publisher copy:
- Copyright date:
Tools for Test Case Generation.
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record