Information Exchange Between Over- and Underapproximating Software Analyses

DOI10.1007/978-3-031-17108-6_3zbMath1525.68026OpenAlexW4297880979MaRDI QIDQ6111606

Heike Wehrheim, Unnamed Author

Publication date: 4 August 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-17108-6_3

zbMATH Keywords

test-case generationcomponent-based CEGARcooperative software verificationverification artifact

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• A cooperative parallelization approach for property-directed \(k\)-induction
• Abstraction-driven Concolic Testing
• From Under-Approximations to Over-Approximations and Back
• Collaborative Verification and Testing with Explicit Assumptions
• Lifting CDCL to Template-Based Abstract Domains for Program Verification

This page was built for publication: Information Exchange Between Over- and Underapproximating Software Analyses