Program Debugging Using Constraints -- Is it Feasible? - Wotawa, Franz; Nica, Mihai (2011 11th International Conference on Quality Software, Quality Software (QSIC), 2011 11th International Conference on, 2011)