R. De-millo, R. J. Lipton, and F. G. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

G. Hayek and C. Robach, From Design Validation to Hardware Testing : a Unified Approach, Journal of Electronic Testing : theory and application 14, pp.133-140, 1999.