scientific article; zbMATH DE number 2090852

zbMATH Open1067.68545MaRDI QIDQ4813404FDOQ4813404

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (4)

• Sound non-statistical clustering of static analysis alarms
• An empirical study on classification methods for alarms from a bug-finding static C analyzer
• Code analysis and parallelizing vector operations in R
• 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)