From Design Validation to Hardware Testing: A Unified Approach

Hints on Test Data Selection: Help for the Practicing Programmer

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

Computing, Computer Science, Test Development +5

Constraint-based automatic test data generation

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

Computing, Computer Engineering, Computer Science +16

Test Generation Algorithms for Computer Hardware Description Languages

Levendel, Menon · IEEE Transactions on Computers · 1982 · 85 citations

Engineering, Computer Engineering, Computer Science +8

On behavior fault modeling for digital designs

Sumit Ghosh, T.J. Chakraborty · Journal of Electronic Testing · 1991 · 78 citations

Engineering, Computer Science, Digital Design +12

High-level test generation using physically-induced faults

Mark C. Hansen, John P. Hayes · 2002 · 66 citations

Engineering, Computer Engineering, Computer Science +11