@misc{miscf4e2fe9b,
title   = {Checking experiments for finite state machines with symbolic inputs},
author = {Petrenko, Alexandre and Simão, Adenilso da Silva},
year = {2015},
doi = {10.1007/978-3-319-25945-1_1},
publisher = {Springer},
booktitle   = {IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS}
}