Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming

Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto
2015 Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference - GECCO Companion '15  
The paper presents a genetic programming based approach for inferring general form Linear Temporal Logic properties of finite-state machine models. Candidate properties are evaluated using several fitness functions, therefore multiobjective evolutionary algorithms are used. The feasibility of the approach is demonstrated by two examples. CCS Concepts Software and its engineering → Search-based software engineering;
doi:10.1145/2739482.2768475 dblp:conf/gecco/ChivilikhinIS15 fatcat:3urjrhquzvhdfjiu54zfob5gve