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

Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto

Browse the full GECCO paper archive.