Publications

(2019). Towards Automated Test Case Generation Maturity. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).
(2019). Java Unit Testing Tool Competition - Seventh Round. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).
(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).
(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.
(2018). Model-based mutant equivalence detection using automata language equivalence and simulations. Journal of Systems and Software.
(2018). Single-objective Versus Multi-objectivized Optimization for Evolutionary Crash Reproduction. Search-Based Software Engineering (SSBSE 2018).
(2017). Yo variability! JHipster: a playground for web-apps analyses. Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems.
(2017). Statistical prioritization for software product line testing: an experience report. Software & Systems Modeling (SoSyM).
(2017). Towards Security-aware Mutation Testing. Software Testing, Verification and Validation Workshops (MUTATION@ICST ‘17), IEEE Tenth International Conference on.
(2017). On Featured Transition Systems. SOFSEM 2017: Theory and Practice of Computer Science.