4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Evolving algebras 1993: Lipari guide
Specification and validation methods
An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A schema language for coordinating construction and composition of partial behavior descriptions
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Model Based Testing in Practice at Microsoft
Electronic Notes in Theoretical Computer Science (ENTCS)
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Achieving both model and code coverage with automated gray-box testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Canonical finite state machines for distributed systems
Theoretical Computer Science
Interaction Coverage Meets Path Coverage by SMT Constraint Solving
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards model-based testing of electronic funds transfer systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
The complexity of asynchronous model based testing
Theoretical Computer Science
Fokus!MBT: a multi-paradigmatic test modeling environment
Proceedings of the workshop on ACadeMics Tooling with Eclipse
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Hi-index | 0.00 |
For half a decade model-based testing has been applied at Microsoft in the internal development process. Though a success story compared to other formal quality assurance approaches like verification, a break-through of the technology on a broader scale is not in sight. What are the obstacles? Some lessons can be learned from the past and will be discussed. An approach to MBT is described which is based on multi-paradigmatic modeling, which gives users the freedom to choose among programmatic and diagrammatic notations, as well as state-based and scenario-based (interaction-based) styles, reflecting the different concerns in the process. The diverse model styles can be combined by model composition in order to achieve an integrated and collaborative model-based testing process. The approach is realized in the successor of Microsoft Research's MBT tool Spec Explorer, and has a formal foundation in the framework of action machines.