Paper Recommendation
1978 Hints on Test Data Selection: Help For The Practicing Programmer

1977 Symbolic Testing and The DISSECT Symbolic Evaluation System

1980 A User-Oriented Software Reliability Model

1989 Controller Reduction: Concepts and Approaches

1990 Partition Testing Does Not inspire Confidence

1982 Number of Faults Per Line of Code

1976 Types, Distribution, and Test and Correction Times For Programming Errors

1989 Verifying Pipelined Hardware Using Symbolic Logic Simulation

1990 Model-checking For Real-time Systems

1994 Program Result-checking: A Theory of Testing Meets A Test of Theory

1992 Applying 'design By Contract'

1996 Computer-aided Verification

1993 On-the-fly Program Modification: Systems For Dynamic Updating

1979 Symbolic Evaluation and The Analysis of Programs

1995 Fault Localization Using Execution Slices and Dataflow Tests

1994 On The Relationship Between Partition and Random Testing

1998 Software Engineering: Theory and Practice

1984 Estimating The Number of Faults in Code

1972 Analysis of Cells

1998 Efficient Representation and Validation of Proofs