conf.researchr.org / Maxime Cordy
Registered user since Thu 31 Jan 2019
Name:Maxime Cordy
Affiliation:University of Luxembourg, Luxembourg
Contributions
2025
2024
ASE
ICSE
- Author of SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions within the Research Track-track
- Committee Member in Program Committee within the Demonstrations-track
- Author of Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions within the Posters-track
- Author of Daedalux: An Extensible Platform for Variability-Aware Model Checking within the Demonstrations-track
2023
ESEC/FSE
ASE
- Author of MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack within the NIER Track-track
- Committee Member in Workshops Chairs within the Workshops-track
- Workshops Co-Chair in Organizing Committee
- Author of Machine Learning Security in the Real World within the [Workshop] ASYDE-track
ICSE
- Author of Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation within the Technical Track-track
- Author of CodeS: Towards Code Model Generalization Under Distribution Shift within the NIER - New Ideas and Emerging Results-track
- Author of Learning from What We Know: How to Perform Vulnerability Prediction using Noisy Historical Data within the Journal-First Papers-track
2022
ESEC/FSE
Mining Software Repositories
CAIN
2021
ICSE
Mining Software Repositories
- Committee Member in Program Committee within the Registered Reports-track
- Author of On the Use of Mutation in Injecting Test Order-Dependency within the Registered Reports-track
- Author of A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests within the Technical Papers-track