Compositional Testing with ioco M Van der Bijl, A Rensink, J Tretmans International Workshop on Formal Approaches to Software Testing, 86-100, 2003 | 167 | 2003 |
Action refinement in conformance testing M van der Bijl, A Rensink, J Tretmans Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International
, 2005 | 30 | 2005 |
Component based testing with ioco M Van Der Bijl, A Rensink, J Tretmans University of Twente, 2003 | 28 | 2003 |
7 i/o-automata based testing M van der Bijl, F Peureux Model-Based Testing of Reactive Systems: Advanced Lectures, 173-200, 2005 | 16 | 2005 |
On changing models in model-based testing HM van der Bijl | 8 | 2011 |
Compositional testing with ioco. Formal Approaches to Software Testing: Third International Workshop, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Editors
M van der Bijl, A Rensink, J Tretmans Springer, 0 | 8 | |
Translating EULYNX SysML models into symbolic transition systems for model-based testing of railway signaling systems T Bachmann, D van der Wal, M van der Bijl, D van der Meij, A Oprescu 2022 IEEE Conference on Software Testing, Verification and Validation (ICST
, 2022 | 3 | 2022 |
Model-Based Fuzzing Using Symbolic Transition Systems. W Bohlken, M van der Bijl, AM Oprescu SATToSE, 2020 | 2 | 2020 |
Action Refinement in Testing with uioco M van der Bijl, A Rensink, J Tretmans University of Twente, 2005 | 1 | 2005 |
Effective Model-Based Testing TC Ruys, M van der Bijl Principles of Verification: Cycling the Probabilistic Landscape: Essays
, 2024 | | 2024 |
Compositional ioco using model-based mocking. JJ Booy, JJA Keiren, M van der Bijl BENEVOL, 1-8, 2023 | | 2023 |
Extending the Finite Domain Solver of GNU Prolog V Bloemen, D Diaz, M van der Bijl, S Abreu TU Wien, 2014 | | 2014 |
From LTL to Scenarios: Automatic test case generation for Axini Modeling Language M Schröder, M van der Bijl, W Fokkink | | |
DEVELOPMENT OF AN EFFICIENT DATA COVERAGE STRATEGY FOR JM Perdiguero, W Fokkink, M van der Bijl, V de Bruijn | | |
Vision of Smarter Software Testing Faster, more thorough and cheaper A Belinfante, M van der Bijl | | |
Part I. Testing of Finite State Machines S Sandberg, M Krichen, H Björklund, A Gargantini, SD Bruda, V Tschaen, ... | | |
Model-Based Fuzzing Using Symbolic Transition Systemswork in progress W Bohlken, M van der Bijl, BV Axini, AM Oprescu | | |