On necessary and nonconflicting assignments in algorithmic test patterns generation (1994)

by H COX, J RAJSKI
Venue:IEEE Trans. Comput.-Aided Des