Scalable error detection using Boolean satisfiability

DOI10.1145/1040305.1040334MaRDI QIDQ5276159zbMATH OpenOpenAlexFDO

Authors Yichen Xie, Alex Aiken

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1040305.1040334

zbMATH Keywords

Boolean satisfiabilityerror detectionprogram analysis

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1982200
• A View from the Engine Room: Computational Support for Symbolic Model Checking
• scientific article; zbMATH DE number 1798189
• Model checking of concurrent software systems via heuristic-guided SAT solving
• scientific article; zbMATH DE number 5605058

Cited in

(8)

• Visualizing SAT instances and runs of the DPLL algorithm
• Specification and verification challenges for sequential object-oriented programs
• Using fault screeners for software error detection
• scientific article; zbMATH DE number 5547835 (Why is no real title available?)
• scientific article; zbMATH DE number 1956604 (Why is no real title available?)
• scientific article; zbMATH DE number 1982200 (Why is no real title available?)
• Higher order symbolic execution for contract verification and refutation
• Sound input filter generation for integer overflow errors

This page was built for publication: Scalable error detection using Boolean satisfiability

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