| Hints on test data selection: Help for the practicing programmer RA DeMillo, RJ Lipton, FG Sayward Computer 11 (4), 34-41, 1978 | 2772 | 1978 |
| On the importance of checking cryptographic protocols for faults D Boneh, RA DeMillo, RJ Lipton Advances in Cryptology—EUROCRYPT’97: International Conference on the Theory …, 2001 | 2383 | 2001 |
| Constraint-based automatic test data generation RA DeMillo, AJ Offutt IEEE Transactions on Software Engineering 17 (9), 900-910, 1991 | 1193 | 1991 |
| Social processes and proofs of theorems and programs RA DeMillo, RJ Lipton, AJ Perlis Program Verification, 297-319, 1993 | 885* | 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 | 878 | 1979 |
| Social processes and proofs of theorems and programs RA De Millo, RJ Lipton, AJ Perlis Communications of the ACM 22 (5), 271-280, 1979 | 878 | 1979 |
| 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 | 878 | 1977 |
| On the importance of checking computations D Boneh, RA Demillo, RJ Lipton Eurocrypt 97, 1997 | 664* | 1997 |
| A probabilistic remark on algebraic program testing RA DeMillo, RJ Lipton Information processing letters 7 (4), 193-195, 1978 | 545 | 1978 |
| Debugging with dynamic slicing and backtracking H Agrawal, RA DeMillo, EH Spafford Software: Practice and Experience 23 (6), 589-616, 1993 | 456 | 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 | 414 | 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 | 394 | 1988 |
| Software testing and evaluation R De Millo, WM McCracken, RJ Martin, J Passafiume Benjamin-Cummings Publishing Co., Inc., 1987 | 350 | 1987 |
| Mutation Analysis. AT Acree, TA Budd, RA DeMillo, RJ Lipton, FG Sayward Georgia Inst of Tech Atlanta School of Information And Computer Science, 1979 | 282 | 1979 |
| Cryptographic protocols RA DeMillo, NA Lynch, MJ Merritt Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982 | 219 | 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 | 214 | 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 | 192 | 1993 |
| An execution-backtracking approach to debugging H Agrawal, RA De Millo, EH Spafford IEEE Software 8 (3), 21-26, 1991 | 187 | 1991 |
| Critical slicing for software fault localization RA DeMillo, H Pan, EH Spafford ACM SIGSOFT Software Engineering Notes 21 (3), 121-134, 1996 | 153 | 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 | 153 | 1978 |
Eugene H. SpaffordProfessor, Purdue UniversityVerified email at purdue.edu
