James R. Larus Thomas Ball Manuvir Das Robert DeLine Manuel Fähndrich Jonathan D. Pincus Sriram K. Rajamani Ramanathan Venkatapathy 92-100 2004 21 IEEE Software 3 http://doi.ieeecomputersociety.org/10.1109/MS.2004.1293079 db/journals/software/software21.html#LarusBDDFPRV04