If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Doctor of Science, Faculty of Computer Science

1 Sep 201130 Aug 2017

External positions

Postdoctoral researcher, Delft University of Technology

1 Oct 2017 → …

Application developer (Issuing back-office dpt.), Atos Worldline

Aug 201031 Aug 2011

Fingerprint 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

Research Output 2010 2019

5 Downloads (Pure)

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 proceedingConference 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 proceedingChapter

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 proceedingConference contribution

Open Access
27 Downloads (Pure)

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 journalArticle

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 proceedingConference contribution

Crash
Optimization
Weighted Sums
Scalarization
Fitness Function

Activities 2011 2017

  • 18 Participation in conference
  • 11 Participation in workshop, seminar, course
  • 6 Participation to a Symposium, a study Day
  • 1 Invited talk

21st International Systems and Software Product Line Conference (SPLC '17)

Xavier Devroey (Contributor)
26 Sep 201729 Sep 2017

Activity: Participating in or organising an event typesParticipation in conference

Testing Variability-intensive Systems

Gilles Perrouin (Speaker), Xavier Devroey (Speaker), Maxime Cordy (Speaker)
26 Sep 2017

Activity: Talk or presentation typesInvited talk

12th International Workshop on Mutation Analysis (Mutation 2017)

Xavier Devroey (Contributor)
13 Mar 2017

Activity: Participating in or organising an event typesParticipation 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 typesParticipation in workshop, seminar, course

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

Xavier Devroey (Contributor)
13 Mar 201718 Mar 2017

Activity: Participating in or organising an event typesParticipation in conference

Thesis

Behavioural model-based testing of software product lines

Author: Devroey, X., 30 Aug 2017

Supervisor: 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 typesDoctor of Sciences

File

Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

Author: Devroey, X., 2010

Supervisor: Vanhoof, W. (Supervisor), Ponsard, C. (External person) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)

Student thesis: Master typesMaster 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 2015

Supervisor: Heymans, P. (Supervisor), Perrouin, G. (Co-Supervisor) & Devroey, X. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

Sampling & Testing all configurations: The JHipster case study

Author: Halin, A. & Nuttinck, A., 26 Jun 2017

Supervisor: Cleve, A. (President), Heymans, P. (Supervisor), Perrouin, G. (Co-Supervisor) & Devroey, X. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Towards Security Aware Mutation Testing

Author: Loise, T., 23 Jun 2017

Supervisor: Cleve, A. (President), Heymans, P. (Supervisor), Perrouin, G. (Co-Supervisor) & Devroey, X. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File