Formula-based software debugging

Abhik Roychoudhury, Satish Chandra. Formula-based software debugging. Communications of the ACM, 59(7):68-77, 2016. [doi]

Abstract

Abstract is missing.