Finding bugs with a constraint solver

This publication has 20 references indexed in Scilit:

• Automating first-order relational logic
  Published by Association for Computing Machinery (ACM) ,2000
• Using shape analysis to reduce finite-state models of concurrent Java programs
  ACM Transactions on Software Engineering and Methodology, 2000
• An intermediate design language and its analysis
  Published by Association for Computing Machinery (ACM) ,1998
• Elements of style: analyzing a software design feature with a counterexample detector
  IEEE Transactions on Software Engineering, 1996
• Program verification through soft typing
  ACM Computing Surveys, 1996
• Aspect
  ACM Transactions on Software Engineering and Methodology, 1995
• Data flow analysis for verifying properties of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1994
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991
• The logic of propagation in the inscape environment
  Published by Association for Computing Machinery (ACM) ,1989
• Symbolic execution and program testing
  Communications of the ACM, 1976