Projects per year
Abstract
Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modeling framework for mutation analysis inspired by the software product line paradigm. It uses behavioral variability models, viz., Featured Transition Systems, which enable the optimized generation, configuration and execution of mutants. We provide results, based on models with thousands of transitions, suggesting that our technique is fast and scalable. We found that it outperforms previous approaches by several orders of magnitude and that it makes higher-order mutation practically applicable.
Original language | English |
---|---|
Title of host publication | Proceedings of the 38th international conference on Software Engineering |
Place of Publication | Austin, TX, USA |
Publisher | ACM Press |
Pages | 655-666 |
Number of pages | 12 |
ISBN (Print) | 978-1-4503-3900-1 |
DOIs | |
Publication status | Published - May 2016 |
Publication series
Name | ICSE '16 |
---|---|
Publisher | ACM |
Keywords
- featured transition systems
- mutation analysis
- variability
Fingerprint
Dive into the research topics of 'Featured Model-based Mutation Analysis'. Together they form a unique fingerprint.Projects
- 2 Finished
-
INOGRAMS: INnovations for a Global RAil Management System
HEYMANS, P. (PI) & PERROUIN, G. (CoI)
1/04/14 → 31/12/17
Project: Research
-
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X. (Researcher), Heymans, P. (CoI), Schobbens, P. Y. (CoI) & Perrouin, G. (Researcher)
1/09/11 → 30/08/17
Project: PHD
Activities
- 1 Participation in conference
-
38th International Conference on Software Engineering
Devroey, X. (Speaker)
18 May 2016 → 20 May 2016Activity: Participating in or organising an event types › Participation in conference
Student theses
-
Behavioural model-based testing of software product lines
Devroey, X. (Author), Schobbens, P.-Y. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (Jury), Cohen, M. B. (Jury), Legay, A. (Jury) & Perrouin, G. (Jury), 30 Aug 2017Student thesis: Doc types › Doctor of Sciences
File