| Hints on test data selection: Help for the practicing programmer RA DeMillo, RJ Lipton, FG Sayward Computer 11 (4), 34-41, 1978 | 2870 | 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 | 2471 | 1997 |
| Constraint-based automatic test data generation RA DeMillo, AJ Offutt IEEE Transactions on Software Engineering 17 (9), 900-910, 1991 | 1211 | 1991 |
| Social processes and proofs of theorems and programs RA DeMillo, RJ Lipton, AJ Perlis Program Verification, 297-319, 1993 | 875* | 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 | 868 | 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 | 868 | 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 | 868 | 1977 |
| On the importance of checking computations D Boneh, RA Demillo, RJ Lipton Eurocrypt 97, 1997 | 693* | 1997 |
| A probabilistic remark on algebraic program testing RA DeMillo, RJ Lipton Inf. Process. Lett. 7 (4), 193-195, 1978 | 589 | 1978 |
| Debugging with dynamic slicing and backtracking H Agrawal, RA DeMillo, EH Spafford Software: Practice and Experience 23 (6), 589-616, 1993 | 459 | 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 | 428 | 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 | 396 | 1988 |
| Software testing and evaluation R De Millo, WM McCracken, RJ Martin, J Passafiume Benjamin-Cummings Publishing Co., Inc., 1987 | 380 | 1987 |
| Mutation analysis AT Acree, RA DeMillo, T Budd, RJ Lipton, FG Sayward School of Information and Computer Science, Georgia Institute of Technology, 1979 | 300 | 1979 |
| Cryptographic protocols RA DeMillo, NA Lynch, MJ Merritt Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982 | 220 | 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 | 218 | 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 | 194 | 1993 |
| An execution-backtracking approach to debugging H Agrawal, RA De Millo, EH Spafford IEEE Software 8 (3), 21-26, 1991 | 189 | 1991 |
| Critical slicing for software fault localization RA DeMillo, H Pan, EH Spafford ACM SIGSOFT Software Engineering Notes 21 (3), 121-134, 1996 | 164 | 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 | 162 | 1978 |
Eugene H. SpaffordProfessor, Purdue UniversityVerified email at purdue.edu
