scientific article; zbMATH DE number 2090852

MaRDI QIDQ4813404zbMATH OpenFDO

Authors Ted Kremenek, Dawson Engler

Publication date 13 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940295.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Counterexample guided path reduction for static program analysis
• scientific article; zbMATH DE number 1863891
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
• Toward general diagnosis of static errors
• Incremental false path elimination for static software analysis

Cited in

(4)

• Sound non-statistical clustering of static analysis alarms
• Code analysis and parallelizing vector operations in R
• An empirical study on classification methods for alarms from a bug-finding static C analyzer
• A secrecy-preserving language for distributed and object-oriented systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813404)