1. 2019
  2. A Decade of Featured Transition Systems

    Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., 9 Nov 2019, From Software Engineering to Formal Methods and Tools, and Back.. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer International Publishing, Vol. 11865. p. 285-312 28 p. (Lecture Notes in Computer Science; vol. 11865).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  3. Towards Automated Test Case Generation Maturity

    Molina, U. R., Kifetew, F. M. & Devroey, X., 27 May 2019, 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST). IEEE, p. 9-10 2 p. 8812190

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. A benchmark-based evaluation of search-based crash reproduction

    Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., 2019, In : Empirical Software Engineering. p. 1-43 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. AbsCon: A Test Concretizer for Model-based Testing

    Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings of the 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops: 15th Workshop on Advances in Model Based Testing (A-MOST '19). IEEE, p. 15-22 8 p. 8728920

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. Effective and Efficient API Misuse Detection via Exception Propagation and Search-Based Testing

    Kechagia, M., Devroey, X., Panichella, A., Gousios, G. & van Deursen, A., 2019, ISSTA 2019 : Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis . Moller, A. & Zhang, D. (eds.). New York: Association for Computing Machinery (ACM), p. 192-203 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. Java Unit Testing Tool Competition - Seventh Round

    Kifetew, F., Devroey, X. & Rueda, U., 2019, 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST): Proceedings. Piscataway: IEEE, p. 15-20 6 p. 8812209

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

    Plazar, Q., Acher, M., Perrouin, G., Devroey, X. & Cordy, M., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019: Proceedings. O'Conner, L. (ed.). Piscataway, NJ: IEEE, p. 240-251 12 p. 8730148

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  9. 2018
  10. Single-objective versus Multi-Objectivized Optimization for Evolutionary Crash Reproduction

    Soltani, M., Derakhshanfar, P., Panichella, A., Devroey, X., Zaidman, A. & van Deursen, A., Sep 2018, Search-Baed Software Engineering - 10th International Symposium, SSBSE 2018 - Proceedings. Colanzi, T. E. & McMinn, P. (eds.). Cham: Springer, p. 325-340 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11036 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. Welcome Message from the General Chairs A-MOST 2018

    Arcaini, P., Devroey, X. & Faria, J. P., 16 Jul 2018, In : Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. p. xxii

    Research output: Contribution to journalEditorialScientific

  12. Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

    Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Baudry, B., 1 Jul 2018, In : Empirical Software Engineering. p. 1-44 44 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 Next

ID: 24247369