Hints on test data selection: Help for the practicing programmer RA DeMillo, RJ Lipton, FG Sayward Computer 11 (4), 34-41, 1978 | 2960 | 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 | 2556 | 1997 |
Constraint-based automatic test data generation RA DeMillo, AJ Offutt IEEE Transactions on Software Engineering 17 (9), 900-910, 1991 | 1224 | 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 | 931 | 1979 |
On the importance of eliminating errors in cryptographic computations D Boneh, RA DeMillo, RJ Lipton Journal of cryptology 14, 101-119, 2001 | 656 | 2001 |
A probabilistic remark on algebraic program testing RA DeMillo, RJ Lipton Information processing letters 7 (4), 193-195, 1978 | 634 | 1978 |
Debugging with dynamic slicing and backtracking H Agrawal, RA DeMillo, EH Spafford Software: Practice and Experience 23 (6), 589-616, 1993 | 470 | 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 | 438 | 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 | 405 | 1988 |
Mutation analysis AT Acree, RA DeMillo, T Budd, RJ Lipton, FG Sayward School of Information and Computer Science, Georgia Institute of Technology, 1979 | 317 | 1979 |
Cryptographic protocols RA DeMillo, NA Lynch, MJ Merritt Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982 | 225 | 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 | 222 | 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 | 197 | 1993 |
An execution-backtracking approach to debugging H Agrawal, RA De Millo, EH Spafford IEEE Software 8 (3), 21-26, 1991 | 193 | 1991 |
Critical slicing for software fault localization RA DeMillo, H Pan, EH Spafford ACM SIGSOFT Software Engineering Notes 21 (3), 121-134, 1996 | 171 | 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 |
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 | 153 | 1991 |
Abelard to Apple: The fate of American colleges and universities RA DeMillo Mit Press, 2011 | 146 | 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 | 96 | 1989 |