References of "Schobbens, Pierre-Yves"
     in
Bookmark and Share    
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)