Augmenting Model-Based Instantiation with Fast Enumeration. - Lydia Kondylidou; Andrew Reynolds 001; Jasmin Blanchette (TACAS (1), 2025)