Generalized Symbolic Execution for Model Checking and Testing

This publication has 18 references indexed in Scilit:

• Korat
  Published by Association for Computing Machinery (ACM) ,2002
• Model checking Java programs using structural heuristics
  ACM SIGSOFT Software Engineering Notes, 2002
• Deviation analysis through model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using symbolic execution for verifying safety-critical systems
  Published by Association for Computing Machinery (ACM) ,2001
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000
• NUSMV: a new symbolic model checker
  International Journal on Software Tools for Technology Transfer, 2000
• Using Model Checking to Generate Tests from Requirements Specifications
  Published by Springer Nature ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997