SABER: Smart analysis based error reductionDarrell ReimerEdith Schonberget al.2004ISSTA 2004Conference paper