%A Timothy A. Budd
%T Mutation analysis of program test data
%R Ph.D. thesis
%I Yale University
%C New Haven, Connecticut
%D 1980

%A Alexandru Nicolau
%T Parallelism, memory anti-aliasing and correctness for trace-scheduling compilers
%R Ph.D. thesis
%I Yale University
%C New Haven, Connecticut
%D 1984

%A Ehud Y. Shapiro
%T Algorithmic program debugging
%R Ph.D. thesis
%I Yale University
%C New Haven, Connecticut
%D May 1982
%K foundations, debugging, induction