Finding bugs with a constraint solver
Authors:
Open Access
- 1 August 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 25 (5) , 14-25
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Using shape analysis to reduce finite-state models of concurrent Java programsACM Transactions on Software Engineering and Methodology, 2000
- Detecting memory errors via static pointer analysis (preliminary experience)1998
- Putting pointer analysis to work1998
- Program verification through soft typingACM Computing Surveys, 1996
- Static detection of dynamic memory errors1996
- Data flow analysis for verifying properties of concurrent programs1994
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Refinement types for ML1991
- Analysis of pointers and structures1990
- Control flow analysis1970