Slide 1 Specification-Based Error Localization Brian Demsky Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Slide 2 Problem Error Introduced…
