Follow
Richard DeMillo
Richard DeMillo
Charlotte B. and Roger C. Warren Professor of Computer Science, Georgia Tech
Verified email at gatech.edu - Homepage
Title
Cited by
Cited by
Year
Hints on test data selection: Help for the practicing programmer
RA DeMillo, RJ Lipton, FG Sayward
Computer 11 (4), 34-41, 1978
26961978
On the importance of checking cryptographic protocols for faults
D Boneh, RA DeMillo, RJ Lipton
International conference on the theory and applications of cryptographic …, 1997
23371997
Constraint-based automatic test data generation
RA DeMillo, AJ Offutt
IEEE transactions on Software Engineering 17 (9), 900-910, 1991
11791991
Social processes and proofs of theorems and programs
RA DeMillo, RJ Lipton, AJ Perlis
Program Verification, 297-319, 1993
865*1993
Social processes and proofs of theorems and programs
RA De Millo, RJ Lipton, AJ Perlis
Communications of the ACM 22 (5), 271-280, 1979
8591979
Social processes and proofs of theorems and programs
RA De Millo, RJ Lipton, AJ Perlis
Communications of the ACM 22 (5), 271-280, 1979
8591979
Social Processes and Proofs of Theorems and Programs
RA DeMillo, RJ Lipton, AJ Perlis
6th ACM Symposium on Principles of Programming Languages, 245-262, 1977
8591977
On the importance of checking computations
D Boneh, RA Demillo, RJ Lipton
Eurocrypt 97, 1997
652*1997
A Probabilistic Remark on Algebraic Program Testing.
RA DeMillo, RJ Lipton
GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE, 1977
5421977
Debugging with dynamic slicing and backtracking
H Agrawal, RA DeMillo, EH Spafford
Software: Practice and Experience 23 (6), 589-616, 1993
4431993
Design of mutant operators for the C programming language
H Agrawal, RA DeMillo, R Hathaway, W Hsu, W Hsu, EW Krauser, ...
Technical Report SERC-TR-41-P, Software Engineering Research Center, Purdue …, 1989
3981989
An extended overview of the Mothra software testing environment
RA DeMillo, DS Guindi, WM McCracken, AJ Offutt, KN King
Workshop on Software Testing, Verification, and Analysis, 142,143,144,145 …, 1988
3881988
Software testing and evaluation
R De Millo, WM McCracken, RJ Martin, J Passafiume
Benjamin-Cummings Publishing Co., Inc., 1987
3511987
Mutation Analysis.
AT Acree, TA Budd, RA DeMillo, RJ Lipton, FG Sayward
Georgia Inst of Tech Atlanta School of Information And Computer Science, 1979
2741979
Cryptographic protocols
RA DeMillo, NA Lynch, MJ Merritt
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
2161982
Theoretical and empirical studies on using program mutation to test the functional correctness of programs
TA Budd, RA DeMillo, RJ Lipton, FG Sayward
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of …, 1980
2121980
Experimental results from an automatic test case generator
RA DeMillo, AJ Offutt
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (2), 109-127, 1993
1951993
An execution-backtracking approach to debugging
H Agrawal, RA De Millo, EH Spafford
IEEE Software 8 (3), 21-26, 1991
1831991
The design of a prototype mutation system for program testing
TA Budd, RJ Lipton, R DeMillo, F Sayward
Managing Requirements Knowledge, International Workshop on, 623-623, 1978
1541978
Dynamic slicing in the presence of unconstrained pointers
H Agrawal, RA DeMillo, EH Spafford
Proceedings of the symposium on Testing, Analysis, and Verification, 60-73, 1991
1521991
The system can't perform the operation now. Try again later.
Articles 1–20