Publications

(2017). Behavioural model-based testing of software product lines. Presses universitaires de Namur.
(2017). Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation. IEEE Tenth International Conference on Software Testing, Verification and Validation (ICST ‘17).
(2016). Featured model-based mutation analysis. Proceedings of the 38th International Conference on Software Engineering (ICSE ‘16).
(2016). Search-based Similarity-driven Behavioural SPL Testing. Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS ‘16).
(2015). State machine flattening, a mapping study and tools assessment. Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on.
(2015). Poster : VIBeS , Transition System Mutation Made Easy. Proceeding of the 37th International Conference on Software Engineering (ICSE 2015).
(2015). Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems.
(2014). Towards Statistical Prioritization for Software Product Lines Testing. Proceedings of the Eight International Workshop on Variability Modelling of Software-intensive Systems (VaMoS ‘14).
(2014). Coverage Criteria for Behavioural Testing of Software Product Lines. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (ISoLA ‘14).
(2014). Abstract Test Case Generation for Behavioural Testing of Software Product Lines. Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools (SPLat@SPLC ‘14).