Ali Y. Duale, M. Ümit Uyar
Generation of Feasible Test Sequences for EFSM Models
ICTSS, 2000.
@inproceedings{TestCom-2000-DualeU, author = "Ali Y. Duale and M. Ümit Uyar", booktitle = "{Proceedings of the 13th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services}", isbn = "0-7923-7921-7", pages = "91--None", publisher = "{Kluwer}", series = "{IFIP Conference Proceedings}", title = "{Generation of Feasible Test Sequences for EFSM Models}", volume = 176, year = 2000, }