User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

All Publications

Displaying 12 results.
    • Speech
    A Variability Perspective of Mutation Analysis
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Papadakis, Mike Legay, Axel[UCL] Schobbens, Pierre-Yves (2014) FSE 2014 : International Symposium on Foundations of Software Engineering — Hong Kong, China
    • Journal article
    Statistical Prioritization for Software Product Line Testing: an Experience Report
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Samih, Hamza Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2017) Software & Systems Modeling —
    • Speech
    Towards statistical prioritization for software product lines testing
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Schobbens, Pierre-Yves Legay, Axel[UCL] Heymans, Patrick (2014) VAMOS — Sophia Antipolis, France
    • Speech
    Featured model-based mutation analysis
    Devroey, Xavier Perrouin, Gilles Papadakis, Mike Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2016) ICSE '16 - 38th International Conference on Software Engineering — Austin, Texas
    • Speech
    Search-based Similarity-driven Behavioural SPL Testing
    Devroey, Xavier Perrouin, Gilles Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2016) VaMoS '16 - Tenth International Workshop on Variability Modelling of Software-intensive Systems — Salvador, Brazil
    • Journal article
    Model-based mutant equivalence detection using automata language equivalence and simulations
    Devroey, Xavier Perrouin, Gilles Papadakis, Mike Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2018) Journal of Systems and Software — Vol. 141, no. 2, p. 1-15 (2018)
    • Speech
    State machine flattening, a mapping study and tools assessment
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] (2015) 8th IEEE International Conference on Software Testing, Verification and Validation — Graz, Austria
    • Speech
    On Featured Transition Systems
    Perrouin, Gilles Heymans, Patrick Legay, Axel[UCL] Devroey, Xavier Cordy, Maxime Schobbens, Pierre-Yves (2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics —
    • Speech
    Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
    Devroey, Xavier Perrouin, Gilles Papadakis, Mike Legay, Axel[UCL] Schobbens, Pierre-Yves Heymans, Patrick (2017) ICST 2017 - International Conference on Software Testing, Verification and Validation —
    • Speech
    A Decade of Featured Transition Systems
    Cordy, Maxime[UCL] Devroey, Xavier Legay, Axel[UCL] Perrouin, Gilles Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Raskin, Jean-François (2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Porto
    • Speech
    Towards Behavioural Model-Driven Validation of Software Product Lines
    Devroey, Xavier Cordy, Maxime Perrouin, Gilles Kang, Eun-Young Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] Baudry, Benoit (2012) 5th International Sympoisum on Leveraging Applications of Formal Methods —
    • Speech
    A Vision for Behavioural Model-Driven Validation of Software Product Lines
    Devroey, Xavier Cordy, Maxime Perrouin, Gilles Kang, Eun-Young Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] Baudry, Benoit (2012) International Symposium On Leveraging Applications of Formal Methods, Verification and Validation —