Automated Test Case Generation from Dynamic Models

This publication has 6 references indexed in Scilit:

• Integration of sequential scenarios
  IEEE Transactions on Software Engineering, 1998
• Fast planning through planning graph analysis
  Artificial Intelligence, 1997
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  Published by Elsevier ,1991
• On visual formalisms
  Communications of the ACM, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971