## Florentin Ipate

*Bounded Sequence Testing from Non-deterministic Finite State Machines*

ICTSS, 2006.

@inproceedings{TestCom-2006-Ipate, author = "Florentin Ipate", booktitle = "{Proceedings of the 18th International Conference on Testing of Communicating Systems}", doi = "10.1007/11754008_4", isbn = "3-540-34184-6", pages = "55--70", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Bounded Sequence Testing from Non-deterministic Finite State Machines}", volume = 3964, year = 2006, }