LOCALIZING BUGS IN PROGRAMS - Or How to Use a Program’s Constraint Representation for Software Debugging? Topics: Reliable Software Technologies; Software Maintenance In Proceedings of the Third International Conference on Software and Data Technologies - Volume 3: ICSOFT, 88-95, 2008 , Porto, Portugal