Maxime Cordy

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 139

Top Venues

CoRR

ACM Trans. Softw. Eng. Methodol.

SPLC (A)

ICSE

Catholic University of Louvain, Louvain-la-Neuve, Belgium (PHD)

Education History

Catholic University of Louvain, Louvain-la-Neuve, Belgium

PHD

Publications

Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao
Importance Guided Data Augmentation for Neural-Based Code Understanding. CoRR (2024)
Pantelis Dogoulis, Matthieu Jimenez, Salah Ghamizi, Maxime Cordy, Yves Le Traon
Robustness Analysis of AI Models in Critical Energy Systems. CoRR (2024)
Xueqi Dang, Yinghua Li, Wei Ma, Yuejun Guo, Qiang Hu, Mike Papadakis, Maxime Cordy, Yves Le Traon
Towards Exploring the Limitations of Test Selection Techniques on Graph Neural Networks: An Empirical Study. Empir. Softw. Eng. 29 (5) (2024)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
Test Optimization in DNN Testing: A Survey. ACM Trans. Softw. Eng. Methodol. 33 (4) (2024)
Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. ICSE (2024)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models. IEEE Trans. Software Eng. 50 (5) (2024)
Mihaela Catalina Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data. CoRR (2024)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon
LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Yuejun Guo, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon
NN-based Performance Testing for Deep Code Search. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Qiang Hu, Jin Wen, Maxime Cordy, Yuheng Huang, Xiaofei Xie, Lei Ma
Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing. CoRR (2024)
Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. FormaliSE@ICSE (2024)
Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. J. Syst. Softw. 216 (2024)
Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher
Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions. ICSE Companion (2024)
Thibault Simonetto, Salah Ghamizi, Maxime Cordy
Constrained Adaptive Attack: Effective Adversarial Attack Against Deep Neural Networks for Tabular Data. CoRR (2024)
Mihaela C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data. ICLR (2024)
Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay
Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion (2024)
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
Boosting Source Code Learning with Data Augmentation: An Empirical Study. CoRR (2023)
Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. CoRR (2023)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models. CoRR (2023)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. ICSE (2023)
Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE (2023)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Yves Le Traon
Evaluating the Robustness of Test Selection Methods for Deep Neural Networks. CoRR (2023)
Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. CoRR (2023)
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. SANER (2023)
Thibault Simonetto, Salah Ghamizi, Antoine Desjardins, Maxime Cordy, Yves Le Traon
Constrained Adaptive Attacks: Realistic Evaluation of Adversarial Examples and Robust Training of Deep Neural Networks for Tabular Data. CoRR (2023)
Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW (2023)
Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. ICML (2023)
Salah Ghamizi, Maxime Cordy, Yuejun Guo, Mike Papadakis, Yves Le Traon
Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations. CoRR (2023)
Maxime Cordy, Xiaofei Xie, Bowen Xu, Bibi Stamatia
MaLTeSQuE 2022 Workshop Summary. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay
Family-based model checking of fMultiLTL properties. SPLC (A) (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
Enabling Efficient Assertion Inference. ISSRE (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
Assertion Inferring Mutants. CoRR (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. FASE (2023)
Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon
DRE: density-based data selection with entropy for adversarial-robust deep learning models. Neural Comput. Appl. 35 (5) (2023)
Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon
The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI. CoRR (2023)
Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. ASE (2023)
Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. SP (2023)
Mathieu Acher, Gilles Perrouin, Maxime Cordy
BURST: Benchmarking uniform random sampling techniques. Sci. Comput. Program. 226 (2023)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon
CodeS: Towards Code Model Generalization Under Distribution Shift. ICSE (NIER) (2023)
Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
iBiR: Bug-report-driven Fault Injection. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon
Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment. CAIN (2023)
Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. ACL (1) (2023)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
On Evaluating Adversarial Robustness of Chest X-ray Classification. SafeAI@AAAI (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. CoRR (2023)
Martin Gubri, Maxime Cordy, Yves Le Traon
Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability. CoRR (2023)
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO (2023)
Sami Lazreg, Maxime Cordy, Axel Legay
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) (2022)
Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon
Robust active learning: sample-efficient training of robust deep learning models. CAIN (2022)
Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon
Influence-driven data poisoning in graph-based semi-supervised classifiers. CAIN (2022)
Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) (2022)
Sarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. CoRR (2022)
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon
Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment. CoRR (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. CoRR (2022)
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling. CoRR (2022)
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Lei Ma, Mike Papadakis, Yves Le Traon
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
Efficient Testing of Deep Neural Networks via Decision Boundary Analysis. CoRR (2022)
Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. CoRR (2022)
Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon
Software Fairness: An Analysis and Survey. CoRR (2022)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning. CoRR (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
Efficient and transferable adversarial examples from bayesian neural networks. UAI (2022)
Yuejun Guo, Qiang Hu, Maxime Cordy, Xiaofei Xie, Mike Papadakis, Yves Le Traon
Labeling-Free Comparison Testing of Deep Learning Models. CoRR (2022)
Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. ICSE (2022)
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
Enhancing Code Classification by Mixup-Based Data Augmentation. CoRR (2022)
Marcelo Luis Ruiz Rodríguez, Sylvain Kubler, Andrea de Giorgio, Maxime Cordy, Jérémy Robert, Yves Le Traon
Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines. Robotics Comput. Integr. Manuf. 78 (2022)
Salah Ghamizi, Maxime Cordy, Michail Papadakis, Yves Le Traon
On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices. CoRR (2022)
Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein, Maxime Cordy
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. VaMoS (2022)
Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon
Learning from what we know: How to perform vulnerability prediction using noisy historical data. Empir. Softw. Eng. 27 (7) (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. ECCV (4) (2022)
Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27 (7) (2022)
Sarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. ICSME (2022)
Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. IJCAI (2022)
Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop (2022)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. AAAI (2022)
Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon
A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty. Int. Trans. Oper. Res. 29 (4) (2022)
Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. MSR (2022)
Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. ICST (2022)
Sarra Habchi, Maxime Cordy, Mike Papadakis, Yves Le Traon
On the Use of Mutation in Injecting Test Order-Dependency. CoRR (2021)
Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. 33 (6) (2021)
Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon
Robust Active Learning: Sample-Efficient Training of Robust Deep Learning Models. CoRR (2021)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning To Adversarial Attacks Into A Real-world Application. ICCVW (2021)
Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon
MUTEN: Boosting Gradient-Based Adversarial Attacks via Mutant-Based Ensembles. CoRR (2021)
Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon
Killing Stubborn Mutants with Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. CoRR (2021)
Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon
Test Selection for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Thiago M. Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi
A Formal Framework of Software Product Line Analyses. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon
Discerning Legitimate Failures From False Alerts: A Study of Chromium's Continuous Integration. CoRR (2021)
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon
Towards Exploring the Limitations of Active Learning: An Empirical Study. ASE (2021)
Mathieu Acher, Gilles Perrouin, Maxime Cordy
BURST: a benchmarking platform for uniform random sampling techniques. SPLC (B) (2021)
Wei Ma, Mengjie Zhao, Ezekiel Soremekun, Qiang Hu, Jie Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. CoRR (2021)
Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. MSR (2021)
Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. CoRR (2021)
Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. CoRR (2021)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. CoRR (2021)
Salah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boytsov, Yves Le Traon, Anne Goujon
Search-based adversarial testing and improvement of constrained credit scoring systems. ESEC/SIGSOFT FSE (2020)
Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon
Effective and Efficient Data Poisoning in Semi-Supervised Learning. CoRR (2020)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
FeatureNET: diversity-driven generation of deep learning models. ICSE (Companion Volume) (2020)
Salah Ghamizi, Renaud Rwemalika, Lisa Veiber, Maxime Cordy, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon
Data-driven Simulation and Optimization for Covid-19 Exit Strategies. CoRR (2020)
Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach. OLA (2020)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks. CoRR (2020)
Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) (2020)

Maxime Cordy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maxime Cordy