Machiel van der Bijl

According to our database, Machiel van der Bijl authored at least 7 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Compositional ioco using model-based mocking.

Jore J. Booy, Jeroen J. A. Keiren, Machiel van der Bijl

Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, 2023

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

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Model-Based Testing of Internet of Things Protocols.

Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2020

Model-Based Fuzzing Using Symbolic Transition Systems.

Wouter Bohlken, Machiel van der Bijl, Ana-Maria Oprescu

Proceedings of the 13th Seminar Series on Advanced Techniques & Tools for Software Evolution, 2020

2005

Action Refinement in Conformance Testing.

Machiel van der Bijl, Arend Rensink, Jan Tretmans

Proceedings of the Testing of Communicating Systems, 2005

2004

I/O-automata Based Testing.

Machiel van der Bijl, Fabien Peureux

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Compositional Testing with ioco.

Machiel van der Bijl, Arend Rensink, Jan Tretmans

Proceedings of the Formal Approaches to Software Testing, 2003