Publications

Mozhan Soltani, Pouria Derakhshanfar, xdevroey, Arie van Deursen (2020). A benchmark-based evaluation of search-based crash reproduction. Empirical Software Engineering.

Replication package DOI Code Dataset PDF Video

Maxime Cordy, xdevroey, 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.

Axel Halin, Alexandre Nuttinck, Mathieu Acher, xdevroey, Gilles Perrouin, Benoit Baudry (2019). Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empirical Software Engineering.

Replication package DOI Code Dataset PDF Video

Quentin Plazar, Mathieu Acher, Gilles Perrouin, xdevroey, 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).

Urko Rueda, Fitsum Kifetew, xdevroey (2019). Towards Automated Test Case Generation Maturity. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).

Fitsum Kifetew, xdevroey, Urko Rueda (2019). Java Unit Testing Tool Competition - Seventh Round. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).

PDF DOI Code Project

Maria Kechagia, xdevroey, 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).

Replication package PDF DOI Code PDF Slides

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.

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.

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).