2 citations · 2 across the 2 of their papers we have counts for
3 papers
Scenario-Driven Neuroevolution: Using Models to Guide Test Generation for Games
Gijs van Cuyck, Patric Feldmeier, Jan Tretmans +1
Automatically generating test inputs for games is challenging, as test generators must master the game to reach advanced program states while also ensuring robustness against the h…
Testing Compositionality
Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Compositionality supports the manipulation of large systems by working on their components. For model-based testing, this means that large systems can be tested by modelling and te…
Compositionality in Model-Based Testing
Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Model-based testing (MBT) promises a scalable solution to testing large systems, if a model is available. Creating these models for large systems, however, has proven to be difficu…