@inproceedings{ICTSS-2016-KarahodaEKTY,
	author        = "Sertaç Karahoda and Osman Tufan Erenay and Kamer Kaya and Uraz Cengiz Türker and Hüsnü Yenigün",
	booktitle     = "{Proceedings of the 28th International Conference on Testing Software and Systems}",
	doi           = "10.1007/978-3-319-47443-4_7",
	isbn          = "978-3-319-47442-7",
	pages         = "106--122",
	title         = "{Parallelizing Heuristics for Generating Synchronizing Sequences}",
	year          = 2016,
}