Modular Demand-Driven Analysis of Semantic Difference for Program Versions

DOI10.1007/978-3-319-66706-5_20zbMATH Open1420.68076OpenAlexW2748925796MaRDI QIDQ5233255FDOQ5233255

Orna Grumberg, Anna Trostanetski, Daniel Kroening

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:59b0eec4-747e-4723-899b-8ffc3ff57cea

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cited In (5)

• SMT-based verification of program changes through summary repair
• Reusing predicate precision in value analysis
• PEQtest: testing functional equivalence
• Lockstep composition for unbalanced loops
• Analysis of software patches using numerical abstract interpretation

This page was built for publication: Modular Demand-Driven Analysis of Semantic Difference for Program Versions

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