Towards a Tool Environment for Model-Based Testing with AsmL

This publication has 18 references indexed in Scilit:

• Runtime verification of .NET contracts
  Journal of Systems and Software, 2003
• How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification
  Published by Springer Nature ,2003
• Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
  Published by Springer Nature ,2001
• A framework for practical, automated black‐box testing of component‐based software†
  Software Testing, Verification and Reliability, 2001
• On-the-fly conformance testing using SPIN
  International Journal on Software Tools for Technology Transfer, 2000
• Test Generation for Specifications Modeled by Input/Output Automata
  Published by Springer Nature ,1998
• Principles and methods of testing finite state machines-a survey
  Proceedings of the IEEE, 1996
• Testing deterministic implementations from nondeterministic FSM specifications
  Published by Springer Nature ,1996
• Automatic generation of functional vectors using the extended finite state machine model
  ACM Transactions on Design Automation of Electronic Systems, 1996
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989