Publications

(2020). Pandemic Programming: How COVID-19 affects software developers and how their organizations can help. Empirical Software Engineering.
(2020). Crash Reproduction Using Helper Objectives. Genetic and Evolutionary Computation Conference Companion (GECCO ‘20 Companion).
(2020). Java Unit Testing Tool Competition - Eighth Round. 2020 IEEE/ACM 13th International Workshop on Search-Based Software Testing (SBST ‘20).
(2020). Search-based Crash Reproduction using Behavioral Model Seeding. Software Testing, Verification and Reliability.
(2020). Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19). ACM SIGSOFT Software Engineering Notes.
(2020). MALTESQUE 2019 Workshop Summary. ACM SIGSOFT Software Engineering Notes.
(2020). A benchmark-based evaluation of search-based crash reproduction. Empirical Software Engineering.
(2019). A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back.
(2019). Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empirical Software Engineering.
(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).