Modular Demand-Driven Analysis of Semantic Difference for Program Versions

DOI10.1007/978-3-319-66706-5_20zbMath1420.68076OpenAlexW2748925796MaRDI QIDQ5233255

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

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

Related Items (2)

Reusing predicate precision in value analysis ⋮ SMT-based verification of program changes through summary repair

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