Login / Signup
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties.
Daniil Chivilikhin
Vladimir Ulyantsev
Anatoly Shalyto
Published in:
ICMLA (2014)
Keyphrases
</>
metaheuristic
finite state machines
temporal properties
model checking
knowledge acquisition
ant colony optimization
genetic algorithm
optimal solution
optimization problems
tabu search
knowledge base
search space