Generating test data from SOFL specifications

No Silver Bullet Essence and Accidents of Software Engineering

Brooks · Computer · 1987 · 3.1K citations

Software Maintenance, Software Reliability Testing, Engineering +22

Hints on Test Data Selection: Help for the Practicing Programmer

Richard A. DeMillo, R.J. Lipton, Frederick Sayward · Computer · 1978 · 2K citations

Engineering, Verification, Complex Errors +24

Constraint-based automatic test data generation

R.A. DeMilli, A. Jefferson Offutt · IEEE Transactions on Software Engineering · 1991 · 803 citations

Relative Adequacy, Engineering, Verification +22

The category-partition method for specifying and generating functional tests

Thomas J. Ostrand, Marc Balcer · Communications of the ACM · 1988 · 791 citations · Full text

Specifying Software Requirements for Complex Systems: New Techniques and Their Application

Kathryn L. Heninger · IEEE Transactions on Software Engineering · 1980 · 498 citations

Software Maintenance, Engineering, Requirement Modeling +23