38 citations · 52 across the 4 of their papers we have counts for
4 papers
Testing Uniform Random Samplers: Methods, Datasets and Protocols
Olivier Zeyen, Maxime Cordy, Martin Gubri +2
Boolean formulae compactly encode huge, constrained search spaces. Thus, variability-intensive systems are often encoded with Boolean formulae. The search space of a variability-in…
State Machine Flattening: Mapping Study and Assessment
Xavier Devroey, Gilles Perrouin, Maxime Cordy +3
State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can then be transformed into executable code or inp…
Verification for Reliable Product Lines
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens +3
Many product lines are critical, and therefore reliability is a vital part of their requirements. Reliability is a probabilistic property. We therefore propose a model for feature-…
Towards Statistical Prioritization for Software Product Lines Testing
Xavier Devroey, Maxime Cordy, Gilles Perrouin +3
Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sa…