Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Test development for communication protocols: towards automation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Domain specific embedded compilers
Proceedings of the 2nd conference on Domain-specific languages
Evaluating Software Development Objectively
IEEE Software
Towards a Test-Ready Meta-model for Use Cases
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Workshop on advances in model-based software testing
Proceedings of the 27th international conference on Software engineering
Online testing with model programs
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Case studies on fault detection effectiveness of model based test generation techniques
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Hi-index | 0.00 |
This paper presents a measurement framework for evaluating model-based test generation (MBTG) tools. The proposed framework is derived by using the Goal Question Metric methodology, which helps formulate the metrics of interest: complexity, ease of learning, effectiveness, efficiency, and scalability. We demonstrate the steps involved in evaluating MBTG tools by describing a case study designed for this purpose. This case study involves the use of four MBTG tools that differ in their modeling techniques, test specification techniques, and test generation algorithms.