A methodology of testing high-level Petri nets

This publication has 24 references indexed in Scilit:

• Using Z specifications in category partition testing
  2003
• Test templates: a specification-based testing framework
  2002
• Using formal methods to derive test frames in category-partition testing
  2002
• TACCLE
  ACM Transactions on Software Engineering and Methodology, 2001
• ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique
  Information and Software Technology, 2000
• Software unit test coverage and adequacy
  ACM Computing Surveys, 1997
• Principles and methods of testing finite state machines-a survey
  Proceedings of the IEEE, 1996
• The ASTOOT approach to testing object-oriented programs
  ACM Transactions on Software Engineering and Methodology, 1994
• Case studies on testing object-oriented programs
  1991
• Test sets generation from algebraic specifications using logic programming
  Journal of Systems and Software, 1986