Kwang-Ting Cheng, A. S. Krishnakumar
Automatic Functional Test Generation Using the Extended Finite State Machine Model
DAC, 1993.
@inproceedings{DAC-1993-ChengK,
author = "Kwang-Ting Cheng and A. S. Krishnakumar",
booktitle = "{Proceedings of the 30th Design Automation Conference}",
doi = "10.1145/157485.164585",
isbn = "0-89791-577-1",
pages = "86--91",
publisher = "{ACM Press}",
title = "{Automatic Functional Test Generation Using the Extended Finite State Machine Model}",
year = 1993,
}