Response to detected errors in well-structured programs ParnasDavid Lorge. 2012 Computer Science Department