Bug Localisation in Model-Based Testing using Model-Centric Shrinking. - Susan van den Broek; Ana Oprescu; Theo C. Ruys (DEBT@ISSTA, 2024)