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]
Abstract is missing.