Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal. Testing Timed Finite State Machines with Guaranteed Fault Coverage. In Manuel Núñez, Paul Baker, Mercedes G. Merayo, editors, Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Volume 5826 of Lecture Notes in Computer Science, pages 66-80, Springer, 2009. [doi]
@inproceedings{El-FakihYF09,
title = {Testing Timed Finite State Machines with Guaranteed Fault Coverage},
author = {Khaled El-Fakih and Nina Yevtushenko and Hacène Fouchal},
year = {2009},
doi = {10.1007/978-3-642-05031-2_5},
url = {http://dx.doi.org/10.1007/978-3-642-05031-2_5},
tags = {test coverage, testing, state machines, coverage},
researchr = {https://researchr.org/publication/El-FakihYF09},
cites = {0},
citedby = {0},
pages = {66-80},
booktitle = {Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings},
editor = {Manuel Núñez and Paul Baker and Mercedes G. Merayo},
volume = {5826},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-05030-5},
}