Volgen
Xavier Devroey
Titel
Geciteerd door
Geciteerd door
Jaar
Pandemic programming: How COVID-19 affects software developers and how their organizations can help
P Ralph, S Baltes, G Adisaputri, R Torkar, V Kovalenko, M Kalinowski, ...
Empirical software engineering 25, 4927-4961, 2020
3472020
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
A Halin, A Nuttinck, M Acher, X Devroey, G Perrouin, B Baudry
Empirical Software Engineering 24, 674-717, 2019
118*2019
Uniform sampling of sat solutions for configurable systems: Are we there yet?
Q Plazar, M Acher, G Perrouin, X Devroey, M Cordy
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
852019
Towards Statistical Prioritization for Software Product Lines Testing
X Devroey, G Perrouin, M Cordy, PY Schobbens, A Legay, P Heymans
Eighth International Workshop on Variability Modelling of Software-Intensive …, 2014
742014
Featured model-based mutation analysis
X Devroey, G Perrouin, M Papadakis, A Legay, PY Schobbens, ...
Proceedings of the 38th International Conference on Software Engineering …, 2016
682016
Statistical prioritization for software product line testing: an experience report
X Devroey, G Perrouin, M Cordy, H Samih, A Legay, PY Schobbens, ...
Software & Systems Modeling 16, 153-171, 2017
582017
Coverage Criteria for Behavioural Testing of Software Product Lines
X Devroey, G Perrouin, A Legay, M Cordy, PY Schobbens, P Heymans
The 6th International Symposium On Leveraging Applications of Formal Methods …, 2014
462014
Towards security-aware mutation testing
T Loise, X Devroey, G Perrouin, M Papadakis, P Heymans
2017 IEEE International Conference on Software Testing, Verification and …, 2017
412017
Search-based similarity-driven behavioural SPL testing
X Devroey, G Perrouin, A Legay, PY Schobbens, P Heymans
Proceedings of the 10th International Workshop on Variability Modelling of …, 2016
412016
Effective and efficient API misuse detection via exception propagation and search-based testing
M Kechagia, X Devroey, A Panichella, G Gousios, A Van Deursen
Proceedings of the 28th ACM SIGSOFT international symposium on software …, 2019
332019
A Vision for Behavioural Model-Driven Validation of Software Product Lines
X Devroey, M Cordy, G Perrouin, EY Kang, PY Schobbens, P Heymans, ...
International Symposium On Leveraging Applications of Formal Methods …, 2012
332012
Abstract test case generation for behavioural testing of software product lines
X Devroey, G Perrouin, PY Schobbens
Proceedings of the 18th International Software Product Line Conference …, 2014
322014
Java unit testing tool competition: Eighth round
X Devroey, S Panichella, A Gambi
Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020
312020
Java unit testing tool competition-seventh round
F Kifetew, X Devroey, U Rueda
2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing …, 2019
312019
A benchmark-based evaluation of search-based crash reproduction
M Soltani, P Derakhshanfar, X Devroey, A Van Deursen
Empirical Software Engineering 25, 96-138, 2020
292020
Yo variability! JHipster: a playground for web-apps analyses
A Halin, A Nuttinck, M Acher, X Devroey, G Perrouin, P Heymans
Proceedings of the 11th International Workshop on Variability Modelling of …, 2017
272017
Search-based Crash Reproduction using Behavioral Model Seeding
P Derakhshanfar, X Devroey, G Perrouin, A Zaidman, A Deursen
252019
Covering SPL behaviour with sampled configurations: An initial assessment
X Devroey, G Perrouin, A Legay, PY Schobbens, P Heymans
Proceedings of the 9th International Workshop on Variability Modelling of …, 2015
232015
A decade of featured transition systems
M Cordy, X Devroey, A Legay, G Perrouin, A Classen, P Heymans, ...
From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019
222019
Botsing, a search-based crash reproduction framework for java
P Derakhshanfar, X Devroey, A Panichella, A Zaidman, A Van Deursen
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
212020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20