References of "Legay, Axel"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailStatistical model checking for variability-intensive systems: applications to bug detection and minimization
Cordy, Maxime UL; Lazreg, Sami UL; Papadakis, Mike UL et al

in Formal Aspects of Computing (2021), 33(6), 1147--1172

Detailed reference viewed: 62 (8 UL)
Full Text
Peer Reviewed
See detailTackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing
Basile, Davide; Ter Beek, Maurice; Cordy, Maxime UL et al

in SOFTWARE PRODUCT LINE CONFERENCE (2020, October)

Detailed reference viewed: 50 (1 UL)
Full Text
Peer Reviewed
See detailStatistical Model Checking for Variability-Intensive Systems
Cordy, Maxime UL; Papadakis, Mike UL; Legay, Axel

in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020 (2020, April)

Detailed reference viewed: 87 (3 UL)
Full Text
Peer Reviewed
See detailVerification and abstraction of real-time variability-intensive systems
Cordy, Maxime UL; Legay, Axel

in International Journal on Software Tools for Technology Transfer (2019), 21(6), 635-649

Detailed reference viewed: 64 (1 UL)
Full Text
Peer Reviewed
See detailTowards sampling and simulation-based analysis of featured weighted automata
Cordy, Maxime UL; Legay, Axel; Lazreg, Sami et al

in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (2019, May)

Detailed reference viewed: 74 (0 UL)
Full Text
Peer Reviewed
See detailA Decade of Featured Transition Systems
Cordy, Maxime UL; Devroey, Xavier; Legay, Axel et al

in From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (2019)

Detailed reference viewed: 57 (3 UL)
Full Text
Peer Reviewed
See detailModel-based mutant equivalence detection using automata language equivalence and simulations
Devroey, Xavier; Perrouin, Gilles; Papadakis, Mike UL et al

in Journal of Systems and Software (2018)

Detailed reference viewed: 121 (3 UL)
Full Text
Peer Reviewed
See detailAutomata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
Devroey, Xavier; Perrouin, Gilles UL; Papadakis, Mike UL et al

in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) (2017)

Detailed reference viewed: 137 (5 UL)
Full Text
Peer Reviewed
See detailFeatured model-based mutation analysis
Devroey, Xavier; Perrouin, Gilles; Papadakis, Mike UL et al

in 38th International Conference on Software Engineering (ICSE'16) (2016)

Detailed reference viewed: 111 (2 UL)
Full Text
Peer Reviewed
See detailA Variability Perspective of Mutation Analysis
Devroey, Xavier; Perrouin, Gilles; Cordy, Maxime et al

in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) (2014)

Detailed reference viewed: 122 (2 UL)