Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging?

Franz Wotawa

Browse the full ICSoft paper archive.