Automated Error-Prevention and Error-Detection Tools for Assembly Language. - Lance G. Johnson; David C. Pheanis (CAINE, 2004)

DynaTest and beyond: From dynamic testing to automated error-prevention and error-detection. - David C. Pheanis; John A. Jackson; Lance G. Johnson (J. Comput. Methods Sci. Eng., 2005)