Compositional Testing with ioco. - Machiel van der Bijl; Arend Rensink; Jan Tretmans (FATES, 2003)

I/O-automata Based Testing. - Machiel van der Bijl; Fabien Peureux (Model-Based Testing of Reactive Systems, 2004)

Action Refinement in Conformance Testing. - Machiel van der Bijl; Arend Rensink; Jan Tretmans (TestCom, 2005)

Model-Based Fuzzing Using Symbolic Transition Systems. - Wouter Bohlken; Machiel van der Bijl; Ana-Maria Oprescu (SATToSE, 2020)

Model-Based Testing of Internet of Things Protocols. - Xavier Manuel van Dommelen; Machiel van der Bijl; Andy D. Pimentel (FMICS, 2022)

Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems. - Tobias Bachmann; Djurre van der Wal; Machiel van der Bijl; Daan van der Meij; Ana Oprescu (ICST, 2022)

Compositional ioco using model-based mocking. - Jore J. Booy; Jeroen J. A. Keiren; Machiel van der Bijl (BENEVOL, 2023)

Effective Model-Based Testing. - Theo C. Ruys; Machiel van der Bijl (Principles of Verification (3), 2024)

From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. - Maarten Schröder; Machiel van der Bijl; Wan J. Fokkink (Rebeca for Actor Analysis in Action, 2025)