Beat Liver Functional Diagnosis of Sequential Programs. 145-157 1995 AADEBUG db/conf/aadebug/aadebug95.html#Liver95