Xavier Devroey
Title
Cited by
Cited by
Year
Towards Statistical Prioritization for Software Product Lines Testing
X Devroey, G Perrouin, M Cordy, PY Schobbens, A Legay, P Heymans
Eighth International Workshop on Variability Modelling of Software-Intensive …, 2014
622014
Featured model-based mutation analysis
X Devroey, G Perrouin, M Papadakis, A Legay, PY Schobbens, ...
Proceedings of the 38th International Conference on Software Engineering …, 2016
522016
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
A Halin, A Nuttinck, M Acher, X Devroey, G Perrouin, B Baudry
Empirical Software Engineering 24 (2), 674-717, 2019
44*2019
Coverage Criteria for Behavioural Testing of Software Product Lines
X Devroey, G Perrouin, A Legay, M Cordy, PY Schobbens, P Heymans
The 6th International Symposium On Leveraging Applications of Formal Methods …, 2014
382014
Statistical prioritization for software product line testing: an experience report
X Devroey, G Perrouin, M Cordy, H Samih, A Legay, PY Schobbens, ...
Software & Systems Modeling 16 (1), 153-171, 2017
332017
Pandemic programming
P Ralph, S Baltes, G Adisaputri, R Torkar, V Kovalenko, M Kalinowski, ...
Empirical Software Engineering 25 (6), 4927-4961, 2020
312020
Search-based similarity-driven behavioural SPL testing
X Devroey, G Perrouin, A Legay, PY Schobbens, P Heymans
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
242016
Uniform sampling of sat solutions for configurable systems: Are we there yet?
Q Plazar, M Acher, G Perrouin, X Devroey, M Cordy
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
232019
Abstract test case generation for behavioural testing of software product lines
X Devroey, G Perrouin, PY Schobbens
Proceedings of the 18th International Software Product Line Conference …, 2014
222014
A Vision for Behavioural Model-Driven Validation of Software Product Lines
X Devroey, M Cordy, G Perrouin, EY Kang, PY Schobbens, P Heymans, ...
International Symposium On Leveraging Applications of Formal Methods …, 2012
222012
A variability perspective of mutation analysis
X Devroey, G Perrouin, M Cordy, M Papadakis, A Legay, PY Schobbens
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
192014
Java unit testing tool competition-seventh round
F Kifetew, X Devroey, U Rueda
2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing …, 2019
142019
Towards security-aware mutation testing
T Loise, X Devroey, G Perrouin, M Papadakis, P Heymans
2017 IEEE International Conference on Software Testing, Verification and …, 2017
132017
Yo variability! JHipster: a playground for web-apps analyses
A Halin, A Nuttinck, M Acher, X Devroey, G Perrouin, P Heymans
Proceedings of the Eleventh International Workshop on Variability Modelling …, 2017
132017
Poster: Vibes, transition system mutation made easy
X Devroey, G Perrouin, PY Schobbens, P Heymans
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
132015
Generating high-level Event-B system models from KAOS requirements models
C Ponsard, X Devroey
INFormatique des ORganisations et Systèmes d’Information et de Décision …, 2011
132011
Covering SPL behaviour with sampled configurations: An initial assessment
X Devroey, G Perrouin, A Legay, PY Schobbens, P Heymans
Proceedings of the Ninth International Workshop on Variability Modelling of …, 2015
122015
State machine flattening, a mapping study and tools assessment
X Devroey, M Cordy, PY Schobbens, A Legay, P Heymans
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
112015
A benchmark-based evaluation of search-based crash reproduction
M Soltani, P Derakhshanfar, X Devroey, A Van Deursen
Empirical Software Engineering 25 (1), 96-138, 2020
102020
A decade of featured transition systems
M Cordy, X Devroey, A Legay, G Perrouin, A Classen, P Heymans, ...
From Software Engineering to Formal Methods and Tools, and Back, 285-312, 2019
92019
The system can't perform the operation now. Try again later.
Articles 1–20