Automatic synthesis of specifications from the dynamic observation of reactive programs

This publication has 13 references indexed in Scilit:

• Optimal tracing and replay for debugging message-passing parallel programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Formal validation of virtual finite state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• Model checking in practice: An analysis of the ACCESS.bus™ protocol using SPIN
  Published by Springer Nature ,1996
• Symbolic Model Checking
  Published by Springer Nature ,1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Techniques for debugging parallel programs with flowback analysis
  ACM Transactions on Programming Languages and Systems, 1991
• Software for Analytical Development of Communications Protocols
  AT&T Technical Journal, 1990
• Reverse engineering and design recovery: a taxonomy
  IEEE Software, 1990
• On the Synthesis of Finite-State Machines from Samples of Their Behavior
  IEEE Transactions on Computers, 1972