@inproceedings{MoDELS-2018-Petrenko,
	author        = "Alexandre Petrenko",
	booktitle     = "{Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems}",
	doi           = "10.1145/3239372.3242894",
	pages         = "187",
	publisher     = "{ACM}",
	title         = "{Towards Testing from Finite State Machines with Symbolic Inputs and Outputs}",
	year          = 2018,
}