reasoning about programs

Fuzzy Fine-Grained Code-History Analysis
Existing software-history techniques represent source-code evolution as an absolute and unambiguous mapping of lines of code in prior …
Cite DOI