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
26751978
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
23081997
Constraint-based automatic test data generation
RA DeMillo, AJ Offutt
IEEE Transactions on Software Engineering 17 (9), 900-910, 1991
11691991
Social processes and proofs of theorems and programs
RA DeMillo, RJ Lipton, AJ Perlis
Program Verification, 297-319, 1993
855*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
8491979
Social processes and proofs of theorems and programs
RA De Millo, RJ Lipton, AJ Perlis
Communications of the ACM 22 (5), 271-280, 1979
8491979
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
8491977
On the importance of checking computations
D Boneh, RA Demillo, RJ Lipton
Eurocrypt 97, 1997
650*1997
A Probabilistic Remark on Algebraic Program Testing.
RA DeMillo, RJ Lipton
GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE, 1977
5321977
Debugging with dynamic slicing and backtracking
H Agrawal, RA DeMillo, EH Spafford
Software: Practice and Experience 23 (6), 589-616, 1993
4411993
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
3941989
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
3851988
Software testing and evaluation
R De Millo, WM McCracken, RJ Martin, J Passafiume
Benjamin-Cummings Publishing Co., Inc., 1987
3501987
Mutation Analysis.
AT Acree, TA Budd, RA DeMillo, RJ Lipton, FG Sayward
Georgia Inst of Tech Atlanta School of Information And Computer Science, 1979
2711979
Cryptographic protocols
RA DeMillo, NA Lynch, MJ Merritt
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
2151982
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
2111980
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
1931993
An execution-backtracking approach to debugging
H Agrawal, RA De Millo, EH Spafford
IEEE Software 8 (3), 21-26, 1991
1821991
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
1511991
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
1511978
The system can't perform the operation now. Try again later.
Articles 1–20