Follow
Richard DeMillo
Richard DeMillo
Other namesRichard A. DeMillo, R. A. DeMillo, Richard De Millo
Professor of Computing, Georgia Institute of Technology
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
29601978
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
25561997
Constraint-based automatic test data generation
RA DeMillo, AJ Offutt
IEEE Transactions on Software Engineering 17 (9), 900-910, 1991
12241991
Social processes and proofs of theorems and programs
RA De Millo, RJ Lipton, AJ Perlis
Communications of the ACM 22 (5), 271-280, 1979
9311979
On the importance of eliminating errors in cryptographic computations
D Boneh, RA DeMillo, RJ Lipton
Journal of cryptology 14, 101-119, 2001
6562001
A probabilistic remark on algebraic program testing
RA DeMillo, RJ Lipton
Information processing letters 7 (4), 193-195, 1978
6341978
Debugging with dynamic slicing and backtracking
H Agrawal, RA DeMillo, EH Spafford
Software: Practice and Experience 23 (6), 589-616, 1993
4701993
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
4381989
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
4051988
Mutation analysis
AT Acree, RA DeMillo, T Budd, RJ Lipton, FG Sayward
School of Information and Computer Science, Georgia Institute of Technology, 1979
3171979
Cryptographic protocols
RA DeMillo, NA Lynch, MJ Merritt
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
2251982
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
2221980
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
1971993
An execution-backtracking approach to debugging
H Agrawal, RA De Millo, EH Spafford
IEEE Software 8 (3), 21-26, 1991
1931991
Critical slicing for software fault localization
RA DeMillo, H Pan, EH Spafford
ACM SIGSOFT Software Engineering Notes 21 (3), 121-134, 1996
1711996
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
1621978
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
1531991
Abelard to Apple: The fate of American colleges and universities
RA DeMillo
Mit Press, 2011
1462011
Compiler-integrated program mutation
RA DeMillo, EW Krauser, AP Mathur
1991 The Fifteenth Annual International Computer Software & Applications …, 1991
961991
The Mothra tool set (software testing)
BJ Choi, RA DeMillo, EW Krauser, RJ Martin, AP Mathur, AJ Offutt, H Pan, ...
[1989] Proceedings of the Twenty-Second Annual Hawaii International …, 1989
961989
The system can't perform the operation now. Try again later.
Articles 1–20