On adaptive diagnostic test generation (1995)

by Y Gong, S Chakravarty
Venue:In: Proceedings IEEE international conference on computer-aided design, p 181