Functional testing with binary decision diagrams (1978)

by S B Akers
Venue:Annual Conference of FaultTolerant Computing