Richard A. DeMillo

65 papers A* 16A 2B 5Journal 34Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Grand Challenges in Trustworthy Computing at 20: A Retrospective Look at the Second CRA Grand Challenges Conference. Commun. ACM Richard A. DeMillo, Eugene H. Spafford
2025	J	`jnl`	Retrospective on: Constraint-Based Automatic Test Data Generation. IEEE Trans. Software Eng. Jeff Offutt, Richard A. DeMillo
2023	J	`jnl`	An Agent-Based Simulation Platform for a Safe Election: From Design to Simulation. Inf. Ali Vatankhah Barenji, Benoît Montreuil, Sevda Babalou, Dima Nazzal, Frédérick Bénaben, Richard A. DeMillo
2012	J	`jnl`	Keeping technology promises. Commun. ACM Richard A. DeMillo
2009	B	`conf`	Blighted Virtual Neighborhoods and Other Threats to Online Social Experiences. WISE Richard A. DeMillo
2001	J	`jnl`	On the Importance of Eliminating Errors in Cryptographic Computations. J. Cryptol. Dan Boneh, Richard A. DeMillo, Richard J. Lipton
2000	—	`conf`	Software development for next generation communication networks. SIGSOFT FSE Richard A. DeMillo
1999	J	`jnl`	NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes Victor R. Basili, Laszlo A. Belady, Barry W. Boehm, Frederick P. Brooks Jr., James Browne, Richard A. DeMillo, Stuart I. Feldman, Cordell Green, Butler W. Lampson, Duncan H. Lawrie, Nancy G. Leveson, Nancy A. Lynch, Mark D. Weiser, Jeannette M. Wing
1997	B	`conf`	Failure and Fault Analysis for Software Debugging. COMPSAC Richard A. DeMillo, Hsin Pan, Eugene H. Spafford
1997	A*	`conf`	On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract). EUROCRYPT Dan Boneh, Richard A. DeMillo, Richard J. Lipton
1996	A	`conf`	Critical Slicing for Software Fault Localization. ISSTA Richard A. DeMillo, Hsin Pan, Eugene H. Spafford
1996	J	`jnl`	Mission-Critical Applications, Commercial Value and Software Quality. ACM Comput. Surv. Richard A. DeMillo
1995	A*	`conf`	An International Masters in Software Engineering: Experience and Prospects. ICDE Alberto Apostolico, Gianfranco Bilardi, Franco Bombi, Richard A. DeMillo
1995	J	`jnl`	Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. IEEE Trans. Software Eng. Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong
1994	J	`jnl`	Introduction to the Special Section. IEEE Trans. Software Eng. Richard A. DeMillo
1993	J	`jnl`	Debugging with Dynamic Slicing and Backtracking. Softw. Pract. Exp. Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford
1993	J	`jnl`	Experimental Results from an Automatic Test Case Generator. ACM Trans. Softw. Eng. Methodol. Richard A. DeMillo, A. Jefferson Offutt
1993	A*	`ed.`	Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993. ICSE Victor R. Basili, Richard A. DeMillo, Takuya Katayama
1993	—	`ch.`	Social Processes and Proofs of Theorems and Programs. Program Verification Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
1991	J	`jnl`	An Execution-Backtracking Approach to Debugging. IEEE Softw. Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford
1991	B	`conf`	Compiler-integrated program mutation. COMPSAC Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur
1991	J	`jnl`	Constraint-Based Automatic Test Data Generation. IEEE Trans. Software Eng. Richard A. DeMillo, A. Jefferson Offutt
1991	J	`jnl`	Defining Software by Continuous, Smooth Functions. IEEE Trans. Software Eng. Richard A. DeMillo, Richard J. Lipton
1991	—	`conf`	Dynamic Slicing in the Presence of Unconstrained Pointers. Symposium on Testing, Analysis, and Verification Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford
1991	A*	`conf`	Progress Toward Automated Software Testing. ICSE Richard A. DeMillo
1989	B	`conf`	Software testing for critical applications: a position paper. COMPSAC Richard A. DeMillo
1989	A*	`conf`	Test Adequacy and Program Mutation. ICSE Richard A. DeMillo
1987	—	`book`	Software testing and evaluation. Richard A. DeMillo, W. Michael McCracken, Rhonda J. Martin, John F. Passafiume
1986	J	`jnl`	Operational Survivability in Gracefully Degrading Distributed Processing Systems. IEEE Trans. Software Eng. Edith W. Martin, Richard A. DeMillo
1984	A*	`ed.`	Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1984, Washington, DC, USA STOC Richard A. DeMillo
1983	J	`jnl`	Protocols for Data Security. Computer Richard A. DeMillo, Michael Merritt
1982	A*	`ed.`	Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982 POPL Richard A. DeMillo
1982	A*	`conf`	Cryptographic Protocols STOC Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
1981	A	`conf`	Multilevel Secure Distributed System. ICDCS George I. Davida, Richard A. DeMillo, Richard J. Lipton
1981	A*	`conf`	The Design and Analysis of Cryptographic Protocols. CRYPTO Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
1980	—	`conf`	A System Architecture to Support a Verifiably Secure Multilevel Security System. S&P George I. Davida, Richard A. DeMillo, Richard J. Lipton
1980	—	`conf`	Protecting Shared Cryptographic Keys. S&P George I. Davida, Richard A. DeMillo, Richard J. Lipton
1980	J	`jnl`	Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem. J. ACM Richard A. DeMillo, Stanley C. Eisenstat, Richard J. Lipton
1980	A*	`conf`	The Consistency of "P = NP" and Related Problems with Fragments of Number Theory. STOC Richard A. DeMillo, Richard J. Lipton
1980	A*	`conf`	Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. POPL Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward
1979	J	`jnl`	A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings. Math. Syst. Theory Richard A. DeMillo, Richard J. Lipton
1979	J	`jnl`	Implicit Computation of Synchronization Primitives. Inf. Process. Lett. Richard A. DeMillo, Raymond E. Miller
1979	A*	`ed.`	Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA STOC Michael J. Fischer, Richard A. DeMillo, Nancy A. Lynch, Walter A. Burkhard, Alfred V. Aho
1979	J	`jnl`	Review of "Proofs and refutations: the logic of mathematical discovery" by Imre Lakatos. Cambridge University Press 1976. SIGACT News Richard A. DeMillo, Richard J. Lipton
1979	J	`jnl`	Social Processes and Proofs of Theorems and Programs. Commun. ACM Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
1979	A*	`conf`	Some Connections between Mathematical Logic and Complexity Theory STOC Richard A. DeMillo, Richard J. Lipton
1978	J	`jnl`	A Probabilistic Remark on Algebraic Program Testing. Inf. Process. Lett. Richard A. DeMillo, Richard J. Lipton
1978	—	`conf`	Database Security. VLDB Surveys Richard A. DeMillo
1978	J	`jnl`	Even Data Bases That Lie Can Be Compromised. IEEE Trans. Software Eng. Richard A. DeMillo, David P. Dobkin, Richard J. Lipton
1978	J	`jnl`	Hints on Test Data Selection: Help for the Practicing Programmer. Computer Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward
1978	J	`jnl`	On a political pamphlet from the middle ages. ACM SIGSOFT Softw. Eng. Notes Edsger W. Dijkstra, Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
1978	J	`jnl`	Preserving Average Proximity in Arrays. Commun. ACM Richard A. DeMillo, Stanley C. Eisenstat, Richard J. Lipton
1978	B	`conf`	Recent progress in secure computation. COMPSAC Richard A. DeMillo, David P. Dobkin
1978	J	`jnl`	Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis. ACM SIGSOFT Softw. Eng. Notes Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
1978	—	`conf`	The design of a prototype mutation system for program testing. AFIPS National Computer Conference Timothy A. Budd, Richard J. Lipton, Richard A. DeMillo, Frederick G. Sayward
1977	J	`jnl`	A Study of Schedules as Models of Synchronous Parallel Computation. J. ACM Richard A. DeMillo, K. Vairavan, Ekaterini Sycara-Cyranski
1977	A*	`conf`	Social Processes and Proofs of Theorems and Programs. POPL Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
1977	J	`jnl`	Some applications of model theory to the metatheory of program schemata. Notre Dame J. Formal Log. Richard A. DeMillo
1977	J	`jnl`	Theory in the Computer Science and Engineering Curriculum: Why, What, When, and Where. Computer Bruce H. Barnes, George I. Davida, Richard A. DeMillo, Larry Landweber, Harold S. Stone
1976	J	`jnl`	Can structured programs be efficient? ACM SIGPLAN Notices Richard A. DeMillo, Stanley C. Eisenstat, Richard J. Lipton
1976	J	`jnl`	On the Computational Complexity of a Generalized Scheduling Problem. IEEE Trans. Computers K. Vairavan, Richard A. DeMillo
1976	J	`jnl`	Space and Time Hierarchies for Classes of Control Structures and Data Structures. J. ACM Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo
1975	J	`jnl`	Non-definability of certain semantic properties of programs. Notre Dame J. Formal Log. Richard A. DeMillo
1975	A*	`conf`	The Complexity of Control Structures and Data Structures STOC Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo
1974	A*	`conf`	Parallel Scheduling of Programs in a Restricted Model of Computation STOC K. Vairavan, Richard A. DeMillo