DYNATEST: Dynamic software-testing system. - David C. Pheanis; John A. Jackson (CATA, 2000)

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)