Extreme Model Checking

This publication has 39 references indexed in Scilit:

• Preface: Volume 70, Issue 4
  Electronic Notes in Theoretical Computer Science, 2002
• Improving security using extensible lightweight static analysis
  IEEE Software, 2002
• Lazy abstraction
  ACM SIGPLAN Notices, 2002
• Regression test selection for Java software
  ACM SIGPLAN Notices, 2001
• Enforcing high-level protocols in low-level software
  ACM SIGPLAN Notices, 2001
• Translation validation
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• A safe, efficient regression test selection technique
  ACM Transactions on Software Engineering and Methodology, 1997
• Analyzing regression test selection techniques
  IEEE Transactions on Software Engineering, 1996
• Program development by stepwise refinement
  Communications of the ACM, 1971