Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties.

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

Browse the full ICMLA paper archive.