Irith Pomeranz, Sudhakar M. Reddy
On Achieving a Complete Fault Coverage for Sequential Machines Using the Transition Fault Model
DAC, 1991.
@inproceedings{DAC-1991-PomeranzR, author = "Irith Pomeranz and Sudhakar M. Reddy", booktitle = "{Proceedings of the 28th Design Automation Conference}", doi = "10.1145/127601.127691", isbn = "0-89791395-7", pages = "341--346", publisher = "{ACM}", title = "{On Achieving a Complete Fault Coverage for Sequential Machines Using the Transition Fault Model}", year = 1991, }