Iterative context bounding for systematic testing of multithreaded programs

This publication has 15 references indexed in Scilit:

• Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets
  Published by Springer Nature ,2006
• Dynamic partial-order reduction for model checking software
  Published by Association for Computing Machinery (ACM) ,2005
• Context-Bounded Model Checking of Concurrent Software
  Published by Springer Nature ,2005
• Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
  Formal Methods in System Design, 2004
• KISS
  Published by Association for Computing Machinery (ACM) ,2004
• The implementation of the Cilk-5 multithreaded language
  Published by Association for Computing Machinery (ACM) ,1998
• Eraser
  ACM Transactions on Computer Systems, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• Symmetry and model checking
  Formal Methods in System Design, 1996
• Better verification through symmetry
  Formal Methods in System Design, 1996