Co-Innovation

Project: Research

  • 2 Conference contribution
  • 2 Article
Filter
Conference contribution

Search results

  • Conference contribution

    AbsCon: A Test Concretizer for Model-based Testing

    Vanhecke, J., Devroey, X. & Perrouin, G., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. 8728920. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    51 Downloads (Pure)

  • Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

    Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., 15 May 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    40 Downloads (Pure)