Filter
Chapter (peer-reviewed)

Search results

  • 2019

    A Decade of Featured Transition Systems

    Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P.-Y. & Raskin, J.-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    108 Downloads (Pure)
  • 2014

    Behavioural Model Based Testing of Software Product Lines: Research Abstract

    Devroey, X., 16 Sept 2014, Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press

    Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    117 Downloads (Pure)