Xavier Devroey

Orcid: 0000-0002-0831-7606

Affiliations:
  • University of Namur, Belgium


According to our database1, Xavier Devroey authored at least 59 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models.
CoRR, 2024

Towards Feature-based ML-enabled Behaviour Location.
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2023
JUGE: An infrastructure for benchmarking Java unit test generators.
Softw. Test. Verification Reliab., May, 2023

Generating Class-Level Integration Tests Using Call Site Information.
IEEE Trans. Software Eng., April, 2023

An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022
Basic block coverage for search-based unit testing and crash reproduction.
Empir. Softw. Eng., 2022

Towards automated testing for simple programming exercises.
Proceedings of the 4th International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2022

Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition.
Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

GitDelver Enterprise Dataset (GDED): An Industrial Closed-source Dataset for Socio-Technical Research.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

2021
Report from the 2nd Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '20).
ACM SIGSOFT Softw. Eng. Notes, 2021

VaryMinions: leveraging RNNs to identify variants in event logs.
Proceedings of the MaLTeSQuE@ESEC/SIGSOFT FSE 2021: Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution, 2021

Experience report on soft and project skills building through repetition.
Proceedings of the EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2021

Summary of Search-based Crash Reproduction using Behavioral Model Seeding.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020
Search-based crash reproduction using behavioural model seeding.
Softw. Test. Verification Reliab., 2020

Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19).
ACM SIGSOFT Softw. Eng. Notes, 2020

MALTESQUE 2019 Workshop Summary.
ACM SIGSOFT Softw. Eng. Notes, 2020

A benchmark-based evaluation of search-based crash reproduction.
Empir. Softw. Eng., 2020

Pandemic programming.
Empir. Softw. Eng., 2020

Pandemic Programming: How COVID-19 affects software developers and how their organizations can help.
CoRR, 2020

Towards Integration-Level Test Case Generation Using Call Site Information.
CoRR, 2020

An Application of Model Seeding to Search-Based Unit Test Generation for Gson.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Commonality-Driven Unit Test Generation.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

It Is Not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Botsing, a Search-based Crash Reproduction Framework for Java.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Java Unit Testing Tool Competition: Eighth Round.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Crash reproduction using helper objectives.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Crash Reproduction Difficulty, an Initial Assessment.
Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop, 2020

2019
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack.
Empir. Softw. Eng., 2019

Search-based Crash Reproduction using Behavioral Model Seeding.
CoRR, 2019

Effective and efficient API misuse detection via exception propagation and search-based testing.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

AbsCon: A Test Concretizer for Model-Based Testing.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Towards automated test case generation maturity.
Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019

Java unit testing tool competition: seventh round.
Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019

A Decade of Featured Transition Systems.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Model-based mutant equivalence detection using automata language equivalence and simulations.
J. Syst. Softw., 2018

Single-objective Versus Multi-objectivized Optimization for Evolutionary Crash Reproduction.
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

2017
Test dirigé par les modèles comportementaux de lignes de produits logiciels
PhD thesis, 2017

Statistical prioritization for software product line testing: an experience report.
Softw. Syst. Model., 2017

Test them all, is it worth it? A ground truth comparison of configuration sampling strategies.
CoRR, 2017

Yo variability! JHipster: a playground for web-apps analyses.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Testing Variability-Intensive Systems.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

On Featured Transition Systems.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Towards Security-Aware Mutation Testing.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Message from the A-MOST 2017 Chairs.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Search-based Similarity-driven Behavioural SPL Testing.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Featured model-based mutation analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment.
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

State machine flattening, a mapping study and tools assessment.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Poster: VIBeS, Transition System Mutation Made Easy.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
State Machine Flattening: Mapping Study and Assessment.
CoRR, 2014

Towards statistical prioritization for software product lines testing.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Abstract test case generation for behavioural testing of software product lines.
Proceedings of the 18th International Software Product Lines Conference, 2014

A variability perspective of mutation analysis.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Coverage Criteria for Behavioural Testing of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2012
A Vision for Behavioural Model-Driven Validation of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
Generating High-Level Event-B System Models from KAOS Requirements Models.
Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011


  Loading...