Stebėti
Machiel van der Bijl
Machiel van der Bijl
Axini
Patvirtintas el. paštas axini.com
Pavadinimas
Cituota
Cituota
Metai
Compositional Testing with ioco
M Van der Bijl, A Rensink, J Tretmans
International Workshop on Formal Approaches to Software Testing, 86-100, 2003
1672003
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
302005
Component based testing with ioco
M Van Der Bijl, A Rensink, J Tretmans
University of Twente, 2003
282003
7 i/o-automata based testing
M van der Bijl, F Peureux
Model-Based Testing of Reactive Systems: Advanced Lectures, 173-200, 2005
162005
On changing models in model-based testing
HM van der Bijl
82011
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
32022
Model-Based Fuzzing Using Symbolic Transition Systems.
W Bohlken, M van der Bijl, AM Oprescu
SATToSE, 2020
22020
Action Refinement in Testing with uioco
M van der Bijl, A Rensink, J Tretmans
University of Twente, 2005
12005
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 Systems—work in progress—
W Bohlken, M van der Bijl, BV Axini, AM Oprescu
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–17