Darrell Reimer Edith Schonberg Kavitha Srinivas Harini Srinivasan Bowen Alpern Robert D. Johnson Aaron Kershenbaum Larry Koved SABER: smart analysis based error reduction. 243-251 2004 conf/issta/2004 ISSTA http://doi.acm.org/10.1145/1007512.1007545 db/conf/issta/issta2004.html#ReimerSSSAJKK04