A Tool for Hierarchical Test Generation (1991)

by G Krüger
Venue:IEEE Trans. on CAD