Publications

Francesca Arcelli Fontana, Gilles Perrouin, Apostolos Ampatzoglou, Mathieu Archer, Bartosz Walter, Maxime Cordy, Fabio Palomba, Xavier Devroey (2020). MALTESQUE 2019 Workshop Summary. ACM SIGSOFT Software Engineering Notes.
PDF Cite DOI
Mozhan Soltani, Pouria Derakhshanfar, Xavier Devroey, Arie Van Deursen (2020). A benchmark-based evaluation of search-based crash reproduction. Empirical Software Engineering.
PDF Cite Code Dataset Video DOI Replication package
Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin (2019). A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back.
PDF Cite DOI
Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry (2019). Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empirical Software Engineering.
PDF Cite Code Dataset Video DOI Replication package
Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy (2019). Uniform Sampling of SAT Solutions for Configurable Systems : Are We There Yet ?. IEEE Twelfth International Conference on Software Testing, Verification and Validation (ICST 2019).
PDF Cite DOI
Urko Rueda, Fitsum Kifetew, Xavier Devroey (2019). Towards Automated Test Case Generation Maturity. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).
PDF Cite DOI
Fitsum Kifetew, Xavier Devroey, Urko Rueda (2019). Java Unit Testing Tool Competition - Seventh Round. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).
PDF Cite Code Project DOI
Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, Arie Van Deursen (2019). Effective and efficient API misuse detection via exception propagation and search-based testing. Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ‘19).
PDF Cite Code Slides DOI Replication package
Jeremy Vanhecke, Xavier Devroey, 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
Xavier Devroey, 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