Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh. Fault model-driven testing from FSM with symbolic inputs. Software Quality Journal, 27(2):501-527, 2019. [doi]
@article{TimoPR19,
title = {Fault model-driven testing from FSM with symbolic inputs},
author = {Omer Nguena-Timo and Alexandre Petrenko and S. Ramesh},
year = {2019},
doi = {10.1007/s11219-019-9440-3},
url = {https://doi.org/10.1007/s11219-019-9440-3},
researchr = {https://researchr.org/publication/TimoPR19},
cites = {0},
citedby = {0},
journal = {Software Quality Journal},
volume = {27},
number = {2},
pages = {501-527},
}