Multi-objective Variable Neighborhood Descent for the Inference of Test Models from User Bug Reports in Software Systems - Aunion, Alejandro; Yuste, Javier; Pardo, Eduardo G (Lecture Notes in Computer Science, 2026)