Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming. In Juan Luis Jiménez Laredo, Sara Silva, Anna Isabel Esparcia-Alcázar, editors, Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings. pages 1185-1188, ACM, 2015. [doi]
@inproceedings{ChivilikhinIS15,
title = {Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming},
author = {Daniil Chivilikhin and Ilya Ivanov and Anatoly Shalyto},
year = {2015},
doi = {10.1145/2739482.2768475},
url = {http://doi.acm.org/10.1145/2739482.2768475},
researchr = {https://researchr.org/publication/ChivilikhinIS15},
cites = {0},
citedby = {0},
pages = {1185-1188},
booktitle = {Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings},
editor = {Juan Luis Jiménez Laredo and Sara Silva and Anna Isabel Esparcia-Alcázar},
publisher = {ACM},
isbn = {978-1-4503-3488-4},
}