Xavier Devroey
Open Menu
Close Menu
About
Publications
ESC
All Results
Searching...
No results found
Clear search
↑↓
Navigate
↵
Select
Powered by Hugo Blox
Publications
Jeremy Vanhecke
,
xdevroey
,
Gilles Perrouin
(2019).
AbsCon : A Test Concretizer for Model-based Testing
.
Software Testing, Verification and Validation Workshops (A-MOST@ICST ‘19’), 2019 IEEE Twelfth International Conference on
.
PDF
Cite
DOI
xdevroey
,
Gilles Perrouin
,
Mike Papadakis
,
Axel Legay
,
Pierre-Yves Schobbens
,
Patrick Heymans
(2018).
Model-based mutant equivalence detection using automata language equivalence and simulations
.
Journal of Systems and Software
.
PDF
Cite
DOI
Mozhan Soltani
,
Pouria Derakhshanfar
,
Annibale Panichella
,
xdevroey
,
Andy Zaidman
,
Arie van Deursen
(2018).
Single-objective Versus Multi-objectivized Optimization for Evolutionary Crash Reproduction
.
Search-Based Software Engineering (SSBSE 2018)
.
PDF
Cite
DOI
Code
Axel Halin
,
Alexandre Nuttinck
,
Mathieu Acher
,
xdevroey
,
Gilles Perrouin
,
Patrick Heymans
(2017).
Yo variability! JHipster: a playground for web-apps analyses
.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems
.
PDF
Cite
DOI
xdevroey
,
Gilles Perrouin
,
Maxime Cordy
,
Hamza Samih
,
Axel Legay
,
Pierre-Yves Schobbens
,
Patrick Heymans
(2017).
Statistical prioritization for software product line testing: an experience report
.
Software & Systems Modeling (SoSyM)
.
PDF
Cite
DOI
Thomas Loise
,
xdevroey
,
Gilles Perrouin
,
Mike Papadakis
,
Patrick Heymans
(2017).
Towards Security-aware Mutation Testing
.
Software Testing, Verification and Validation Workshops (MUTATION@ICST ‘17), IEEE Tenth International Conference on
.
PDF
Cite
DOI
Axel Legay
,
Gilles Perrouin
,
xdevroey
,
Maxime Cordy
,
Pierre-Yves Schobbens
,
Patrick Heymans
(2017).
On Featured Transition Systems
.
SOFSEM 2017: Theory and Practice of Computer Science
.
PDF
Cite
DOI
xdevroey
(2017).
Behavioural model-based testing of software product lines
.
Presses universitaires de Namur
.
Cite
PDF
xdevroey
,
Gilles Perrouin
,
Mike Papadakis
,
Axel Legay
,
Pierre-Yves Schobbens
,
Patrick Heymans
(2017).
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
.
IEEE Tenth International Conference on Software Testing, Verification and Validation (ICST ‘17)
.
PDF
Cite
DOI
xdevroey
,
Gilles Perrouin
,
Mike Papadakis
,
Axel Legay
,
Pierre-Yves Schobbens
,
Patrick Heymans
(2016).
Featured model-based mutation analysis
.
Proceedings of the 38th International Conference on Software Engineering (ICSE ‘16)
.
PDF
Cite
DOI
« Previous
Next »