Modular demand-driven analysis of semantic difference for program versions

DOI10.1007/978-3-319-66706-5_20MaRDI QIDQ5233255zbMATH OpenOpenAlexFDO

Authors Anna Trostanetski, Orna Grumberg, 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)

Recommendations

• Abstract Semantic Differencing for Numerical Programs
• Abstract semantic diffing of evolving concurrent programs
• Abstract Semantic Diffing of Evolving Concurrent Programs
• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
• Computer Aided Verification

Cited in

(6)

• Reusing predicate precision in value analysis
• Abstract semantic diffing of evolving concurrent programs
• SMT-based verification of program changes through summary repair
• 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)