Projects per year
Personal profile
Education/Academic qualification
Doctor of Science, Faculty of Computer Science
1 Sep 2011 → 30 Aug 2017
External positions
Postdoctoral researcher, Delft University of Technology
1 Oct 2017 → …Application developer (Issuing back-office dpt.), Atos Worldline
Aug 2010 → 31 Aug 2011Fingerprint Dive into the research topics where Xavier Devroey is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 7 Similar Profiles
Testing
Engineering & Materials Science
Sampling
Engineering & Materials Science
Software Product Lines
Mathematics
Markov processes
Engineering & Materials Science
Explosions
Engineering & Materials Science
Model checking
Engineering & Materials Science
Transition Systems
Mathematics
Quality assurance
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2011 2017
- 1 Finished
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. & Perrouin, G.
1/09/11 → 30/08/17
Project: PHD
Research Output 2010 2019
AbsCon: A Test Concretizer for Model-based Testing
Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
Testing
Black-box testing
Application programming interfaces (API)
Effective and efficient API misuse detection via exception propagation and search-based testing
Kechagia, M., Devroey, X., Panichella, A., Gousios, G. & van Deursen, A., 2019, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019. New York, New York, USA: ACM Press, p. 192-203 12 p. (Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Plazar, Q., Acher, M., Perrouin, G., Devroey, X. & Cordy, M., 1 Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China, p. 240-251 12 p. 8730148. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.Research output: Contribution to journal › Article
Open Access
File
Finite automata
Single-objective versus multi-objectivized optimization for evolutionary crash reproduction
Soltani, M., Derakhshanfar, P., Panichella, A., Devroey, X., Zaidman, A. & van Deursen, A., 1 Jan 2018, Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Proceedings. Springer Verlag, p. 325-340 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11036 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Crash
Optimization
Weighted Sums
Scalarization
Fitness Function
Activities 2011 2017
21st International Systems and Software Product Line Conference (SPLC '17)
Xavier Devroey (Contributor)26 Sep 2017 → 29 Sep 2017
Activity: Participating in or organising an event types › Participation in conference
Testing Variability-intensive Systems
Gilles Perrouin (Speaker), Xavier Devroey (Speaker), Maxime Cordy (Speaker)26 Sep 2017
Activity: Talk or presentation types › Invited talk
12th International Workshop on Mutation Analysis (Mutation 2017)
Xavier Devroey (Contributor)13 Mar 2017
Activity: Participating in or organising an event types › Participation in conference
13th Workshop on Advances in Model Based Testing (A-MOST '17)
Xavier Devroey (Member of Organizing Committee)17 Mar 2017
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Xavier Devroey (Contributor)13 Mar 2017 → 18 Mar 2017
Activity: Participating in or organising an event types › Participation in conference
Thesis
Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of Sciences
File
Building a bridge between goal-oriented requirements with KAOS and event-B system specifications
Author: Devroey, X., 2010Supervisor: Vanhoof, W. (Supervisor), Ponsard, C. (External person) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)
Student thesis: Master types › Master in Computer science
File
Rétro-ingénierie de la variabilité au sein de lignes de produits logiciels web: une "systematic mapping study"
Author: Patiny, M., 17 Jun 2015Supervisor: Heymans, P. (Supervisor), Perrouin, G. (Co-Supervisor) & Devroey, X. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
Sampling & Testing all configurations: The JHipster case study
Author: Halin, A. & Nuttinck, A., 26 Jun 2017Supervisor: Cleve, A. (President), Heymans, P. (Supervisor), Perrouin, G. (Co-Supervisor) & Devroey, X. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File
Towards Security Aware Mutation Testing
Author: Loise, T., 23 Jun 2017Supervisor: Cleve, A. (President), Heymans, P. (Supervisor), Perrouin, G. (Co-Supervisor) & Devroey, X. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File