Praveen Vishakantaiah Thomas Thomas Jacob A. Abraham Magdy S. Abadir AMBIANT: Automatic Generation of Behavioral Modifications for Testability. 63-66 1993 ICCD db/conf/iccd/iccd1993.html#VishakantaiahTAA93