Comparing Bug Finding Tools with Reviews and Tests

This publication has 10 references indexed in Scilit:

• Towards Software Quality Economics for Defect-Detection Techniques
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• A Comparison of Bug Finding Tools for Java
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• One evaluation of model-based testing and its automation
  Published by Association for Computing Machinery (ACM) ,2005
• Finding bugs is easy
  ACM SIGPLAN Notices, 2004
• Testing static analysis tools using exploitable buffer overflows from open source code
  Published by Association for Computing Machinery (ACM) ,2004
• Static Analysis versus Software Model Checking for Bug Finding
  Published by Springer Nature ,2004
• Extended static checking for Java
  Published by Association for Computing Machinery (ACM) ,2002
• The S LAM project
  Published by Association for Computing Machinery (ACM) ,2002
• Type-based analysis and applications
  Published by Association for Computing Machinery (ACM) ,2001
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000