Quantitative partial equivalence analysis quantifies behavioral differences between original and patched programs via symbolic analysis and a range-based heuristic for numerical domains.
Title resolution pending
2 Pith papers cite this work, alongside 16 external citations. Polarity classification is still indexing.
2
Pith papers citing it
16
external citations · external index
fields
cs.PL 2verdicts
UNVERDICTED 2representative citing papers
Presents Evolving Abstract Transformers with UPOSE and AGG algorithms to create adaptable, domain-agnostic sound transformers for polyhedral abstract domains in program analysis.
citing papers explorer
-
Quantitative Symbolic Patch Impact Analysis
Quantitative partial equivalence analysis quantifies behavioral differences between original and patched programs via symbolic analysis and a range-based heuristic for numerical domains.
-
Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
Presents Evolving Abstract Transformers with UPOSE and AGG algorithms to create adaptable, domain-agnostic sound transformers for polyhedral abstract domains in program analysis.