Abstract Semantic Differencing via Speculative Correlation
Presented on July 9, 2018
Presenter: Lawton
Presenter: Lawton
Preview
Lawton will present “Abstract Semantic Differencing via Speculative Correlation” by Partush and Yahav, and also possibly “Differential symbolic execution” by Person et al.