An Adaptive Multi-objective Heuristic Search for Model-Based Testing. - Aristides De Almeida Neto; Eliane Martins (QUATIC, 2018)