Samik Basu 0001 Diptikalyan Saha Scott A. Smolka Localizing Program Errors for Cimple Debugging. 79-96 https://doi.org/10.1007/978-3-540-30232-2_6 2004 conf/forte/2004 FORTE db/conf/forte/forte2004.html#BasuSS04