Model-based testing of automotive electronics
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
Applying model-based testing to healthcare products: preliminary experiences
Proceedings of the 30th international conference on Software engineering
Hi-index | 0.00 |
Model-based testing is an increasingly important software-testing technique that CS and IS students must become familiar with. With ModelTester, students write an extended finite-state machine model for the software under test (SUT). ModelTester then uses the model to generate test cases for the SUT. The SUT language can be nearly anything; Java and Python back ends are currently available, and other back ends can be created easily. Previous versions of ModelTester have been used successfully for four years in an upper-level software-testing course.