On the Use of Constraints in Dynamic Slicing for Program Debugging - Wotawa, Franz (2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on, 2011)