Specification directed module testing
IEEE Transactions on Software Engineering
Evolving algebras 1993: Lipari guide
Specification and validation methods
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
From research to reward: challenges in technology transfer
Proceedings of the 22nd international conference on Software engineering
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Successful Process Implementation
IEEE Software
A maturity model for the implementation of software process improvement: an empirical study
Journal of Systems and Software - Special issue: The new context for software engineering education and training
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Testing telecoms software with quviq QuickCheck
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Abstractions for Model-Based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Based Testing 2010: Short Abstracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Software testing with QuickCheck
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Early fault detection in industry using models at various abstraction levels
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-based testing is a test technique where test cases are generated from a model of the system. In this study we explore model-based testing on the system level, starting from early development. We apply model-based testing to a subsystem of a message gateway product in order to improve early fault detection. The results are compared to another subsystem that is tested with hand-crafted test cases. Based on our experiences, we present a set of challenges and recommendations for system-level, model-based testing. Our results indicate that model-based testing, starting from early development, significantly increases the number of faults detected during system testing.