Declarative and visual debugging in Eclipse. - Jeffrey K. Czyz; Bharat Jayaraman (ETX, 2007)