The following paper has been accepted as technical paper for BENEVOL 2023:

Compositional ioco using model-based mocking, note that this is work carried out by master student Jore Booy during his graduation project under supervision of Jeroen Keiren (TU/e), and Machiel van der Bijl (Axini). Congratulation Jore on getting the paper accepted before defending your Master’s thesis.