Quantitative partial equivalence analysis quantifies behavioral differences between original and patched programs via symbolic analysis and a range-based heuristic for numerical domains.
In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
CASCADE finds code-documentation mismatches by running LLM-generated tests from docs and confirming failure only when documentation-derived code succeeds on the same test.
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.
-
CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
CASCADE finds code-documentation mismatches by running LLM-generated tests from docs and confirming failure only when documentation-derived code succeeds on the same test.