Righting Software. - James R. Larus; Thomas Ball 001; Manuvir Das; Robert DeLine; Manuel Fähndrich; Jonathan D. Pincus; Sriram K. Rajamani; Ramanathan Venkatapathy (IEEE Softw., 2004)