Franz Wotawa Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? 88-95 2008 ICSOFT (SE/MUSE/GSDCA) conf/icsoft/2008-2 db/conf/icsoft/icsoft2008-2.html#Wotawa08