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.
- 5 Similar Profiles
Testing
Engineering & Materials Science
Sampling
Engineering & Materials Science
Software Product Lines
Mathematics
Markov processes
Engineering & Materials Science
Model checking
Engineering & Materials Science
Explosions
Engineering & Materials Science
Transition Systems
Mathematics
Application programming interfaces (API)
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
A benchmark-based evaluation of search-based crash reproduction
Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., 1 Jan 2019, In : Empirical Software Engineering .Research output: Contribution to journal › Article
Open Access
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)
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)
Explosions
Effective and efficient API misuse detection via exception propagation and search-based testing
Kechagia, M., Devroey, X., Panichella, A., Gousios, G. & van Deursen, A., 10 Jul 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York, New York, USA: ACM Press, p. 192-203 12 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Application programming interfaces (API)
Testing
Java Unit Testing Tool Competition - Seventh Round
Kifetew, F., Devroey, X. & Rueda, U., 1 May 2019, Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019. Institute of Electrical and Electronics Engineers Inc., p. 15-20 6 p. 8812209. (Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Testing
Activities 2011 2017
Testing Variability-intensive Systems
Gilles Perrouin (Speaker), Xavier Devroey (Speaker), Maxime Cordy (Speaker)26 Sep 2017
Activity: Talk or presentation types › Invited talk
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
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
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
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
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