| Hints on test data selection: Help for the practicing programmer RA DeMillo, RJ Lipton, FG Sayward Computer 11 (4), 34-41, 1978 | 2889 | 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 | 2486 | 1997 |
| Constraint-based automatic test data generation RA DeMillo, AJ Offutt IEEE Transactions on Software Engineering 17 (9), 900-910, 1991 | 1207 | 1991 |
| Social processes and proofs of theorems and programs RA De Millo, RJ Lipton, AJ Perlis Communications of the ACM 22 (5), 271-280, 1979 | 913 | 1979 |
| On the importance of eliminating errors in cryptographic computations D Boneh, RA DeMillo, RJ Lipton Journal of cryptology 14, 101-119, 2001 | 637 | 2001 |
| A probabilistic remark on algebraic program testing RA DeMillo, RJ Lipton Information processing letters 7 (4), 193-195, 1978 | 596 | 1978 |
| Debugging with dynamic slicing and backtracking H Agrawal, RA DeMillo, EH Spafford Software: Practice and Experience 23 (6), 589-616, 1993 | 463 | 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 | 431 | 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 | 398 | 1988 |
| Mutation analysis AT Acree, RA DeMillo, T Budd, RJ Lipton, FG Sayward School of Information and Computer Science, Georgia Institute of Technology, 1979 | 305 | 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 | 217 | 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 | 195 | 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 | 167 | 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 | 159 | 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 | 151 | 1991 |
| Abelard to Apple: The fate of American colleges and universities RA DeMillo Mit Press, 2011 | 143 | 2011 |
| Compiler-integrated program mutation RA DeMillo, EW Krauser, AP Mathur 1991 The Fifteenth Annual International Computer Software & Applications …, 1991 | 96 | 1991 |
| 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 | 93 | 1989 |
Eugene H. SpaffordProfessor, Purdue University在 purdue.edu 的电子邮件经过验证
