Richard A. DeMillo

Commun. ACM, 2012

2009

Blighted Virtual Neighborhoods and Other Threats to Online Social Experiences.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering, 2009

2001

On the Importance of Eliminating Errors in Cryptographic Computations.

[BibT_eX]

[DOI]

Dan Boneh

J. Cryptol., 2001

2000

Software development for next generation communication networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

1999

NSF workshop on a software research program for the 21st century.

[BibT_eX]

[DOI]

Victor R. Basili

Laszlo A. Belady

Barry W. Boehm

Frederick P. Brooks Jr.

ACM SIGSOFT Softw. Eng. Notes, 1999

1997

On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract).

[BibT_eX]

[DOI]

Dan Boneh

Proceedings of the Advances in Cryptology, 1997

Failure and Fault Analysis for Software Debugging.

[BibT_eX]

[DOI]

Hsin Pan

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Mission-Critical Applications, Commercial Value and Software Quality.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Critical Slicing for Software Fault Localization.

[BibT_eX]

[DOI]

Hsin Pan

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods.

[BibT_eX]

[DOI]

Aditya P. Mathur

W. Eric Wong

IEEE Trans. Software Eng., 1995

An International Masters in Software Engineering: Experience and Prospects.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Data Engineering, 1995

1994

Introduction to the Special Section.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

1993

Experimental Results from an Automatic Test Case Generator.

[BibT_eX]

[DOI]

A. Jefferson Offutt

ACM Trans. Softw. Eng. Methodol., 1993

Debugging with Dynamic Slicing and Backtracking.

[BibT_eX]

[DOI]

Hiralal Agrawal

Softw. Pract. Exp., 1993

1991

Constraint-Based Automatic Test Data Generation.

[BibT_eX]

[DOI]

A. Jefferson Offutt

IEEE Trans. Software Eng., 1991

Defining Software by Continuous, Smooth Functions.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

An Execution-Backtracking Approach to Debugging.

[BibT_eX]

[DOI]

Hiralal Agrawal

IEEE Softw., 1991

Dynamic Slicing in the Presence of Unconstrained Pointers.

[BibT_eX]

[DOI]

Hiralal Agrawal

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

Progress Toward Automated Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Engineering, 1991

Compiler-integrated program mutation.

[BibT_eX]

[DOI]

Edward W. Krauser

Aditya P. Mathur

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1989

Test Adequacy and Program Mutation.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Software Engineering, 1989

Software testing for critical applications: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

An integrated software environment for reuse.

[BibT_eX]

[DOI]

Rich DeMillo

Weimin Du

Ryan Stansifer

Proceedings of the Conference on TRI-Ada 1988, 1988

1987

Software testing and evaluation.

[BibT_eX]

[DOI]

Benjamin/Cummings, ISBN: 978-0-8053-2535-5, 1987

1986

Operational Survivability in Gracefully Degrading Distributed Processing Systems.

[BibT_eX]

[DOI]

Edith W. Martin

IEEE Trans. Software Eng., 1986

1983

Protocols for Data Security.

[BibT_eX]

[DOI]

Michael Merritt

Computer, 1983

1982

Cryptographic Protocols

[BibT_eX]

[DOI]

Nancy A. Lynch

Michael Merritt

Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982

1981

Multilevel Secure Distributed System.

[BibT_eX]

George I. Davida

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

The Design and Analysis of Cryptographic Protocols.

[BibT_eX]

Nancy A. Lynch

Michael Merritt

Proceedings of the Advances in Cryptology: A Report on CRYPTO 81, 1981

1980

Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem.

[BibT_eX]

[DOI]

J. ACM, 1980

The Consistency of "P = NP" and Related Problems with Fragments of Number Theory.

[BibT_eX]

[DOI]

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

A System Architecture to Support a Verifiably Secure Multilevel Security System.

[BibT_eX]

[DOI]

George I. Davida

Proceedings of the 1980 IEEE Symposium on Security and Privacy, 1980

Protecting Shared Cryptographic Keys.

[BibT_eX]

[DOI]

George I. Davida

Proceedings of the 1980 IEEE Symposium on Security and Privacy, 1980

Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979

Review of "Proofs and refutations: the logic of mathematical discovery" by Imre Lakatos. Cambridge University Press 1976.

[BibT_eX]

[DOI]

SIGACT News, 1979

A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1979

Implicit Computation of Synchronization Primitives.

[BibT_eX]

[DOI]

Raymond E. Miller

Inf. Process. Lett., 1979

Social Processes and Proofs of Theorems and Programs.

[BibT_eX]

[DOI]

Alan J. Perlis

Commun. ACM, 1979

Some Connections between Mathematical Logic and Complexity Theory

[BibT_eX]

[DOI]

Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979

1978

Even Data Bases That Lie Can Be Compromised.

[BibT_eX]

[DOI]

David P. Dobkin

IEEE Trans. Software Eng., 1978

On a political pamphlet from the middle ages.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1978

Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis.

[BibT_eX]

[DOI]

Alan J. Perlis

ACM SIGSOFT Softw. Eng. Notes, 1978

A Probabilistic Remark on Algebraic Program Testing.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1978

Hints on Test Data Selection: Help for the Practicing Programmer.

[BibT_eX]

[DOI]

Frederick G. Sayward

Computer, 1978

Preserving Average Proximity in Arrays.

[BibT_eX]

[DOI]

Commun. ACM, 1978

Database Security.

[BibT_eX]

Proceedings of the Issues in Data Base Management, 1978

Recent progress in secure computation.

[BibT_eX]

[DOI]

David P. Dobkin

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

The design of a prototype mutation system for program testing.

[BibT_eX]

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

Some applications of model theory to the metatheory of program schemata.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1977

A Study of Schedules as Models of Synchronous Parallel Computation.

[BibT_eX]

[DOI]

Ekaterini Sycara-Cyranski

K. Vairavan

J. ACM, 1977

Theory in the Computer Science and Engineering Curriculum: Why, What, When, and Where.

[BibT_eX]

[DOI]

Computer, 1977

1976

On the Computational Complexity of a Generalized Scheduling Problem.

[BibT_eX]

[DOI]

K. Vairavan

IEEE Trans. Computers, 1976

Can structured programs be efficient?

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1976

Space and Time Hierarchies for Classes of Control Structures and Data Structures.

[BibT_eX]

[DOI]

J. ACM, 1976

1975

Non-definability of certain semantic properties of programs.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1975

The Complexity of Control Structures and Data Structures

[BibT_eX]

[DOI]

Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

1974

Parallel Scheduling of Programs in a Restricted Model of Computation

[BibT_eX]

[DOI]

K. Vairavan