Localizing Program Errors for Cimple Debugging.

Samik Basu, Diptikalyan Saha, Scott A. Smolka

Browse the full FORTE paper archive.