Richard DeMillo
Richard DeMillo
Charlotte B. and Roger C. Warren Professor of Computer Science, Georgia Tech
Verified email at - Homepage
Cited by
Cited by
Hints on test data selection: Help for the practicing programmer
RA DeMillo, RJ Lipton, FG Sayward
Computer 11 (4), 34-41, 1978
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
Constraint-based automatic test data generation
RA DeMillo, AJ Offutt
IEEE Transactions on Software Engineering 17 (9), 900-910, 1991
Social processes and proofs of theorems and programs
RA DeMillo, RJ Lipton, AJ Perlis
Program Verification, 297-319, 1993
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
On the importance of checking computations
D Boneh, RA Demillo, RJ Lipton
Eurocrypt 97, 1997
A probabilistic remark on algebraic program testing
RA DeMillo, RJ Lipton
Inf. Process. Lett. 7 (4), 193-195, 1978
Debugging with dynamic slicing and backtracking
H Agrawal, RA DeMillo, EH Spafford
Software: Practice and Experience 23 (6), 589-616, 1993
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
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
Software testing and evaluation
R De Millo, WM McCracken, RJ Martin, J Passafiume
Benjamin-Cummings Publishing Co., Inc., 1987
Mutation analysis
AT Acree, RA DeMillo, T Budd, RJ Lipton, FG Sayward
School of Information and Computer Science, Georgia Institute of Technology, 1979
Cryptographic protocols
RA DeMillo, NA Lynch, MJ Merritt
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
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
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
An execution-backtracking approach to debugging
H Agrawal, RA De Millo, EH Spafford
IEEE Software 8 (3), 21-26, 1991
Critical slicing for software fault localization
RA DeMillo, H Pan, EH Spafford
ACM SIGSOFT Software Engineering Notes 21 (3), 121-134, 1996
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
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
Abelard to Apple: The Fate of American Colleges and Universities
RA DeMillo
MIT Press, 2011
The system can't perform the operation now. Try again later.
Articles 1–20