DIBPro: Automatic Diagnostic Program Generation Tool. - Venkat Kalyanaraman; Bruce C. Kim; Pramodchandran N. Variyam; Sasikumar Cherubal (ITC, 2006)