Items where Author is "Atam, Kamil Tolga"

Saraç, N. Ege and Altun, Ömer Faruk and Atam, Kamil Tolga and Karahoda, Sertaç and Kaya, Kamer and Yenigün, Hüsnü (2021) Boosting expensive synchronizing heuristics. Expert Systems with Applications, 167 . ISSN 0957-4174 (Print) 1873-6793 (Online)

Atam, Kamil Tolga (2020) Improved heuristics for W-set and K-tree generation on finite state machines. [Thesis]

Altun, Ömer Faruk and Atam, Kamil Tolga and Karahoda, Sertaç and Kaya, Kamer (2017) Synchronizing heuristics: speeding up the slowest. In: The 29th IFIP International Conference on Testing Software and Systems, St-Petersburg (Accepted)