QBD sensitivity analysis tool using discrete-event simulation and extension of SMCSolver. - Maxime Cordy; Marie-Ange Remiche (VALUETOOLS, 2011)

Simulation-based abstractions for software product-line model checking. - Maxime Cordy; Andreas Classen; Gilles Perrouin; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (ICSE, 2012)

A Vision for Behavioural Model-Driven Validation of Software Product Lines. - Xavier Devroey; Maxime Cordy; Gilles Perrouin; Eun-Young Kang 001; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Benoit Baudry (ISoLA (1), 2012)

Efficient consistency checking of scenario-based product-line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (RE, 2012)

Behavioural modelling and verification of real-time software product lines. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (SPLC (1), 2012)

Towards an incremental automata-based approach for software product-line model checking. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (SPLC (2), 2012)

Managing evolution in software product lines: a model-checking perspective. - Maxime Cordy; Andreas Classen; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (VaMoS, 2012)

Model checking software product lines with SNIP. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Int. J. Softw. Tools Technol. Transf., 2012)

A framework for the rigorous design of highly adaptive timed systems. - Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Louis-Marie Traonouez (FormaliSE@ICSE, 2013)

Beyond boolean product-line model checking: dealing with feature attributes and multi-features. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (ICSE, 2013)

Efficient quality assurance of variability-intensive systems. - Patrick Heymans; Axel Legay; Maxime Cordy (ICSE, 2013)

ProVeLines: a product line of verifiers for software product lines. - Maxime Cordy; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (SPLC Workshops, 2013)

Verification for Reliable Product Lines. - Maxime Cordy; Patrick Heymans; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Carlo Ghezzi; Axel Legay (CoRR, 2013)

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (Requir. Eng., 2013)

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. - Andreas Classen; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Jean-François Raskin (IEEE Trans. Software Eng., 2013)

Model Checking Adaptive Software with Featured Transition Systems. - Maxime Cordy; Andreas Classen; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Assurances for Self-Adaptive Systems, 2013)

Coverage Criteria for Behavioural Testing of Software Product Lines. - Xavier Devroey; Gilles Perrouin; Axel Legay; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (ISoLA (1), 2014)

A variability perspective of mutation analysis. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens (SIGSOFT FSE, 2014)

An extensible platform for product-line behavioural analysis. - Maxime Cordy; Marco Willemart; Bruno Dawagne; Patrick Heymans; Pierre-Yves Schobbens (SPLC Workshops, 2014)

Towards statistical prioritization for software product lines testing. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (VaMoS, 2014)

State Machine Flattening: Mapping Study and Assessment. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (CoRR, 2014)

Formal semantics, modular specification, and symbolic verification of product-line behaviour. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Sci. Comput. Program., 2014)

Model Checking for the Masses. - Maxime Cordy (2014)

Modeling and Verification for Probabilistic Properties in Software Product Lines. - Genaína Nunes Rodrigues; Vander Alves; Vinicius Nunes; André Lanna; Maxime Cordy; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Axel Legay (HASE, 2015)

State machine flattening, a mapping study and tools assessment. - Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (ICST Workshops, 2015)

Using fuzzy modeling for consistent definitions of product qualities in requirements. - Jean-Marc Davril; Maxime Cordy; Patrick Heymans; Mathieu Acher (AIRE, 2015)

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. - Joel Greenyer; Christian Brenner 001; Maxime Cordy; Patrick Heymans; Erika Gressi (Software Engineering & Management, 2015)

All-at-once-synthesis of controllers from scenario-based product line specifications. - Maxime Cordy; Jean-Marc Davril; Joel Greenyer; Erika Gressi; Patrick Heymans (SPLC, 2015)

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators. - Tony Leclercq; Jean-Marc Davril; Maxime Cordy; Patrick Heymans (EnCHIReS@EICS, 2016)

Counterexample guided abstraction refinement of product-line behavioural models. - Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens; Bruno Dawagne; Martin Leucker (Software Engineering, 2016)

Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. - Jean-Marc Davril; Tony Leclercq; Maxime Cordy; Patrick Heymans (NLDB, 2017)

On Featured Transition Systems. - Axel Legay; Gilles Perrouin; Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (SOFSEM, 2017)

Testing Variability-Intensive Systems. - Gilles Perrouin; Xavier Devroey; Maxime Cordy (SPLC (A), 2017)

Statistical prioritization for software product line testing: an experience report. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Hamza Samih; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (Softw. Syst. Model., 2017)

Are mutants really natural?: a study on how "naturalness" helps mutant selection. - Matthieu Jimenez; Thierry Titcheu Chekam; Maxime Cordy; Mike Papadakis; Marinos Kintis; Yves Le Traon; Mark Harman (ESEM, 2018)

On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis. - Matthieu Jimenez; Maxime Cordy; Yves Le Traon; Mike Papadakis (ICSME, 2018)

TUNA: TUning Naturalness-Based Analysis. - Matthieu Jimenez; Maxime Cordy; Yves Le Traon; Mike Papadakis (ICSME, 2018)

On Studying Bad Practices in Configuration UIs. - Tony Leclercq; Maxime Cordy; Bruno Dumas; Patrick Heymans (IUI Workshops, 2018)

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. - Tony Leclercq; Maxime Cordy; Bruno Dumas; Patrick Heymans (IUI Workshops, 2018)

Engineering configurators for the retail industry: experience report and challenges ahead. - Maxime Cordy; Patrick Heymans (SAC, 2018)

Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series. - François Fouquet; Thomas Hartmann 001; Sébastien Mosser 001; Maxime Cordy (SAC, 2018)

A Decade of Featured Transition Systems. - Maxime Cordy; Xavier Devroey; Axel Legay; Gilles Perrouin; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Jean-François Raskin (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Towards sampling and simulation-based analysis of featured weighted automata. - Maxime Cordy; Axel Legay; Sami Lazreg; Philippe Collet (FormaliSE@ICSE, 2019)

Multifaceted automated analyses for variability-intensive embedded systems. - Sami Lazreg; Maxime Cordy; Philippe Collet; Patrick Heymans; Sébastien Mosser 001 (ICSE, 2019)

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? - Quentin Plazar; Mathieu Acher; Gilles Perrouin; Xavier Devroey; Maxime Cordy (ICST, 2019)

Search-based test and improvement of machine-learning-based anomaly detection systems. - Maxime Cordy; Steve Muller; Mike Papadakis; Yves Le Traon (ISSTA, 2019)

Towards context-aware automated writing evaluation systems. - Pierre-André Patout; Maxime Cordy (EASEAI@ESEC/SIGSOFT FSE, 2019)

Automated evaluation of embedded-system design alternatives. - Maxime Cordy; Sami Lazreg (SPLC (A), 2019)

Automated search for configurations of convolutional neural network architectures. - Salah Ghamizi; Maxime Cordy; Mike Papadakis; Yves Le Traon (SPLC (A), 2019)

Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction. - Benoit Amand; Maxime Cordy; Patrick Heymans; Mathieu Acher; Paul Temple; Jean-Marc Jézéquel (VaMoS, 2019)

Automated Search for Configurations of Deep Neural Network Architectures. - Salah Ghamizi; Maxime Cordy; Mike Papadakis; Yves Le Traon (CoRR, 2019)

Adversarial Embedding: A robust and elusive Steganography and Watermarking technique. - Salah Ghamizi; Maxime Cordy; Mike Papadakis; Yves Le Traon (CoRR, 2019)

FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair. - Maxime Cordy; Renaud Rwemalika; Mike Papadakis; Mark Harman (CoRR, 2019)

Verification and abstraction of real-time variability-intensive systems. - Maxime Cordy; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2019)

Statistical Model Checking for Variability-Intensive Systems. - Maxime Cordy; Mike Papadakis; Axel Legay (FASE, 2020)

FeatureNET: diversity-driven generation of deep learning models. - Salah Ghamizi; Maxime Cordy; Mike Papadakis; Yves Le Traon (ICSE (Companion Volume), 2020)

Data-driven Simulation and Optimization for Covid-19 Exit Strategies. - Salah Ghamizi; Renaud Rwemalika; Maxime Cordy; Lisa Veiber; Tegawendé F. Bissyandé; Mike Papadakis; Jacques Klein; Yves Le Traon (KDD, 2020)

Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach. - Nikolaos Antoniadis; Maxime Cordy; Angelo Sifaleras; Yves Le Traon (OLA, 2020)

Search-based adversarial testing and improvement of constrained credit scoring systems. - Salah Ghamizi; Maxime Cordy; Martin Gubri; Mike Papadakis; Andrey Boytsov; Yves Le Traon; Anne Goujon (ESEC/SIGSOFT FSE, 2020)

Load approximation for uncertain topologies in the low-voltage grid. - Ludovic Mouline; Maxime Cordy; Yves Le Traon (SmartGridComm, 2020)

Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. - Davide Basile 001; Maurice H. ter Beek; Maxime Cordy; Axel Legay (SPLC (A), 2020)

Efficient and Transferable Adversarial Examples from Bayesian Neural Networks. - Martin Gubri; Maxime Cordy; Mike Papadakis; Yves Le Traon (CoRR, 2020)

Effective and Efficient Data Poisoning in Semi-Supervised Learning. - Adriano Franci; Maxime Cordy; Martin Gubri; Mike Papadakis; Yves Le Traon (CoRR, 2020)

Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach. - Aayush Garg; Renzo Degiovanni; Matthieu Jimenez; Maxime Cordy; Mike Papadakis; Yves Le Traon (CoRR, 2020)

MALTESQUE 2019 Workshop Summary. - Francesca Arcelli Fontana; Gilles Perrouin; Apostolos Ampatzoglou; Mathieu Acher; Bartosz Walter; Maxime Cordy; Fabio Palomba; Xavier Devroey (ACM SIGSOFT Softw. Eng. Notes, 2020)

Evasion Attack STeganography: Turning Vulnerability Of Machine Learning To Adversarial Attacks Into A Real-world Application. - Salah Ghamizi; Maxime Cordy; Mike Papadakis; Yves Le Traon (ICCVW, 2021)

Towards Exploring the Limitations of Active Learning: An Empirical Study. - Qiang Hu; Yuejun Guo 001; Maxime Cordy; Xiaofei Xie; Wei Ma; Mike Papadakis; Yves Le Traon (ASE, 2021)

A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. - Guillaume Haben; Sarra Habchi; Mike Papadakis; Maxime Cordy; Yves Le Traon (MSR, 2021)

BURST: a benchmarking platform for uniform random sampling techniques. - Mathieu Acher; Gilles Perrouin; Maxime Cordy (SPLC (B), 2021)

On the Use of Mutation in Injecting Test Order-Dependency. - Sarra Habchi; Maxime Cordy; Mike Papadakis; Yves Le Traon (CoRR, 2021)

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. - Matías Brizzio; Renzo Degiovanni; Maxime Cordy; Mike Papadakis; Nazareno Aguirre (CoRR, 2021)

MUTEN: Boosting Gradient-Based Adversarial Attacks via Mutant-Based Ensembles. - Yuejun Guo 001; Qiang Hu; Maxime Cordy; Michail Papadakis; Yves Le Traon (CoRR, 2021)

Discerning Legitimate Failures From False Alerts: A Study of Chromium's Continuous Integration. - Guillaume Haben; Sarra Habchi; Mike Papadakis; Maxime Cordy; Yves Le Traon (CoRR, 2021)

Statistical model checking for variability-intensive systems: applications to bug detection and minimization. - Maxime Cordy; Sami Lazreg; Mike Papadakis; Axel Legay (Formal Aspects Comput., 2021)

A Formal Framework of Software Product Line Analyses. - Thiago M. Castro; Leopoldo Teixeira; Vander Alves; Sven Apel; Maxime Cordy; Rohit Gheyi (ACM Trans. Softw. Eng. Methodol., 2021)

Killing Stubborn Mutants with Symbolic Execution. - Thierry Titcheu Chekam; Mike Papadakis; Maxime Cordy; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2021)

Test Selection for Deep Learning Systems. - Wei Ma; Mike Papadakis; Anestis Tsakmalis; Maxime Cordy; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2021)

Adversarial Robustness in Multi-Task Learning: Promises and Illusions. - Salah Ghamizi; Maxime Cordy; Mike Papadakis; Yves Le Traon (AAAI, 2022)

Robust active learning: sample-efficient training of robust deep learning models. - Yuejun Guo 001; Qiang Hu; Maxime Cordy; Mike Papadakis; Yves Le Traon (CAIN, 2022)

Influence-driven data poisoning in graph-based semi-supervised classifiers. - Adriano Franci; Maxime Cordy; Martin Gubri; Mike Papadakis; Yves Le Traon (CAIN, 2022)

CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. - Valeria Trombetta; Maxime Cordy; Enrico Tronci; Axel Legay (CPS Summer School, PhD Workshop, 2022)

LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. - Martin Gubri; Maxime Cordy; Mike Papadakis; Yves Le Traon; Koushik Sen (ECCV (4), 2022)

FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. - Maxime Cordy; Renaud Rwemalika; Adriano Franci; Mike Papadakis; Mark Harman (ICSE, 2022)

What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. - Sarra Habchi; Guillaume Haben; Jeongju Sohn; Adriano Franci; Mike Papadakis; Maxime Cordy; Yves Le Traon (ICSME, 2022)

A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. - Sarra Habchi; Guillaume Haben; Mike Papadakis; Maxime Cordy; Yves Le Traon (ICST, 2022)

A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. - Thibault Simonetto; Salijona Dyrmishi; Salah Ghamizi; Maxime Cordy; Yves Le Traon (IJCAI, 2022)

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. - Khanh-Huu-The Dam; Fabien Duchene 001; Thomas Given-Wilson; Maxime Cordy; Axel Legay (ISoLA (1), 2022)

Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. - Sami Lazreg; Maxime Cordy; Axel Legay (ISoLA (3), 2022)

GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. - Wei Ma; Mengjie Zhao; Ezekiel O. Soremekun; Qiang Hu; Jie M. Zhang; Mike Papadakis; Maxime Cordy; Xiaofei Xie; Yves Le Traon (MSR, 2022)

Efficient and transferable adversarial examples from bayesian neural networks. - Martin Gubri; Maxime Cordy; Mike Papadakis; Yves Le Traon; Koushik Sen (UAI, 2022)

Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. - Sami Lazreg; Vladyslav Bohlachov; Loveneesh Rana; Andreas Hein 003; Maxime Cordy (VaMoS, 2022)

Labeling-Free Comparison Testing of Deep Learning Models. - Yuejun Guo 001; Qiang Hu; Maxime Cordy; Xiaofei Xie; Mike Papadakis; Yves Le Traon (CoRR, 2022)

Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment. - Qiang Hu; Yuejun Guo 001; Maxime Cordy; Xiaofei Xie; Wei Ma; Mike Papadakis; Yves Le Traon (CoRR, 2022)

Software Fairness: An Analysis and Survey. - Ezekiel O. Soremekun; Mike Papadakis; Maxime Cordy; Yves Le Traon (CoRR, 2022)

CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (CoRR, 2022)

Efficient Testing of Deep Neural Networks via Decision Boundary Analysis. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (CoRR, 2022)

Enhancing Code Classification by Mixup-Based Data Augmentation. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (CoRR, 2022)

Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (CoRR, 2022)

On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices. - Salah Ghamizi; Maxime Cordy; Michail Papadakis; Yves Le Traon (CoRR, 2022)

Static detection of equivalent mutants in real-time model-based mutation testing. - Davide Basile 001; Maurice H. ter Beek; Sami Lazreg; Maxime Cordy; Axel Legay (Empir. Softw. Eng., 2022)

Learning from what we know: How to perform vulnerability prediction using noisy historical data. - Aayush Garg; Renzo Degiovanni; Matthieu Jimenez; Maxime Cordy; Mike Papadakis; Yves Le Traon (Empir. Softw. Eng., 2022)

A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty. - Nikolaos Antoniadis; Maxime Cordy; Angelo Sifaleras; Yves Le Traon (Int. Trans. Oper. Res., 2022)

Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines. - Marcelo Luis Ruiz Rodríguez; Sylvain Kubler; Andrea de Giorgio; Maxime Cordy; Jérémy Robert; Yves Le Traon (Robotics Comput. Integr. Manuf., 2022)

An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement. - Qiang Hu; Yuejun Guo 001; Maxime Cordy; Xiaofei Xie; Lei Ma 003; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2022)

On Evaluating Adversarial Robustness of Chest X-ray Classification. - Salah Ghamizi; Maxime Cordy; Mike Papadakis; Yves Le Traon (SafeAI@AAAI, 2023)

How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. - Salijona Dyrmishi; Salah Ghamizi; Maxime Cordy (ACL (1), 2023)

Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment. - Qiang Hu; Yuejun Guo 001; Maxime Cordy; Xiaofei Xie; Wei Ma; Mike Papadakis; Yves Le Traon (CAIN, 2023)

ACoRe: Automated Goal-Conflict Resolution. - Luiz Carvalho; Renzo Degiovanni; Matías Brizzio; Maxime Cordy; Nazareno Aguirre; Yves Le Traon; Mike Papadakis (FASE, 2023)

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. - Matías Brizzio; Maxime Cordy; Mike Papadakis; César Sánchez 001; Nazareno Aguirre; Renzo Degiovanni (GECCO, 2023)

GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. - Salah Ghamizi; Jingfeng Zhang; Maxime Cordy; Mike Papadakis; Masashi Sugiyama; Yves Le Traon (ICML, 2023)

Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Lei Ma 003; Yves Le Traon (ICSE, 2023)

CodeS: Towards Code Model Generalization Under Distribution Shift. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Lei Ma 003; Yves Le Traon (ICSE (NIER), 2023)

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. - Jaime Cuartas; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (ICSTW, 2023)

Enabling Efficient Assertion Inference. - Aayush Garg; Renzo Degiovanni; Facundo Molina; Maxime Cordy; Nazareno Aguirre; Mike Papadakis; Yves Le Traon (ISSRE, 2023)

MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. - Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon (ASE, 2023)

Towards Strengthening Formal Specifications with Mutation Model Checking. - Maxime Cordy; Sami Lazreg; Axel Legay; Pierre-Yves Schobbens (ESEC/SIGSOFT FSE, 2023)

On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. - Salijona Dyrmishi; Salah Ghamizi; Thibault Simonetto; Yves Le Traon; Maxime Cordy (SP, 2023)

Family-based model checking of fMultiLTL properties. - Aleksandar S. Dimovski; Sami Lazreg; Maxime Cordy; Axel Legay (SPLC (A), 2023)

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Zhenya Zhang; Yves Le Traon; Jianjun Zhao 001 (SANER, 2023)

Assertion Inferring Mutants. - Aayush Garg; Renzo Degiovanni; Facundo Molina; Mike Papadakis; Nazareno Aguirre; Maxime Cordy; Yves Le Traon (CoRR, 2023)

The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI. - Guillaume Haben; Sarra Habchi; Mike Papadakis; Maxime Cordy; Yves Le Traon (CoRR, 2023)

Boosting Source Code Learning with Data Augmentation: An Empirical Study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (CoRR, 2023)

Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability. - Martin Gubri; Maxime Cordy; Yves Le Traon (CoRR, 2023)

Evaluating the Robustness of Test Selection Methods for Deep Neural Networks. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Wei Ma; Mike Papadakis; Yves Le Traon (CoRR, 2023)

Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations. - Salah Ghamizi; Maxime Cordy; Yuejun Guo 001; Mike Papadakis; Yves Le Traon (CoRR, 2023)

Constrained Adaptive Attacks: Realistic Evaluation of Adversarial Examples and Robust Training of Deep Neural Networks for Tabular Data. - Thibault Simonetto; Salah Ghamizi; Antoine Desjardins; Maxime Cordy; Yves Le Traon (CoRR, 2023)

MaLTeSQuE 2022 Workshop Summary. - Maxime Cordy; Xiaofei Xie; Bowen Xu; Stamatia Bibi (ACM SIGSOFT Softw. Eng. Notes, 2023)

DRE: density-based data selection with entropy for adversarial-robust deep learning models. - Yuejun Guo 001; Qiang Hu; Maxime Cordy; Michail Papadakis; Yves Le Traon (Neural Comput. Appl., 2023)

BURST: Benchmarking uniform random sampling techniques. - Mathieu Acher; Gilles Perrouin; Maxime Cordy (Sci. Comput. Program., 2023)

iBiR: Bug-report-driven Fault Injection. - Ahmed Khanfir; Anil Koyuncu; Mike Papadakis; Maxime Cordy; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2023)

On the Impact of Industrial Delays when Mitigating Distribution Drifts: An Empirical Study on Real-World Financial Systems. - Thibault Simonetto; Maxime Cordy; Salah Ghamizi; Yves Le Traon; Clément Lefebvre; Andrey Boystov; Anne Goujon (DELTA, 2024)

How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data. - Mihaela C. Stoian; Salijona Dyrmishi; Maxime Cordy; Thomas Lukasiewicz; Eleonora Giunchiglia (ICLR, 2024)

Deep Generative Models as an Adversarial Attack Strategy for Tabular Machine Learning. - Salijona Dyrmishi; Mihaela Catalina Stoian; Eleonora Giunchiglia; Maxime Cordy (ICMLC, 2024)

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. - Olivier Zeyen; Maxime Cordy; Gilles Perrouin; Mathieu Acher (FormaliSE@ICSE, 2024)

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. - Luiz Carvalho; Renzo Degiovanni; Maxime Cordy; Nazareno Aguirre; Yves Le Traon; Mike Papadakis (ICSE, 2024)

Daedalux: An Extensible Platform for Variability-Aware Model Checking. - Sami Lazreg; Maxime Cordy; Simon Thrane Hansen; Axel Legay (ICSE Companion, 2024)

Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions. - Olivier Zeyen; Maxime Cordy; Gilles Perrouin; Mathieu Acher (ICSE Companion, 2024)

The Importance of Accounting for Execution Failures when Predicting Test Flakiness. - Guillaume Haben; Sarra Habchi; John Micco; Mark Harman; Mike Papadakis; Maxime Cordy; Yves Le Traon (ASE, 2024)

Constrained Adaptive Attack: Effective Adversarial Attack Against Deep Neural Networks for Tabular Data. - Thibault Simonetto; Salah Ghamizi; Maxime Cordy (NeurIPS, 2024)

TabularBench: Benchmarking Adversarial Robustness for Tabular Deep Learning in Real-world Use-cases. - Thibault Simonetto; Salah Ghamizi; Maxime Cordy (NeurIPS, 2024)

Decision Support Model for Time Series Data Augmentation Method Selection. - Dorian Joubaud; Sylvain Kubler; Raoni Lourenço; Maxime Cordy; Yves Le Traon (IEEE Access, 2024)

Importance Guided Data Augmentation for Neural-Based Code Understanding. - Zeming Dong; Qiang Hu; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Jianjun Zhao 001 (CoRR, 2024)

Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing. - Qiang Hu; Jin Wen; Maxime Cordy; Yuheng Huang 004; Xiaofei Xie; Lei Ma 003 (CoRR, 2024)

Robustness Analysis of AI Models in Critical Energy Systems. - Pantelis Dogoulis; Matthieu Jimenez; Salah Ghamizi; Maxime Cordy; Yves Le Traon (CoRR, 2024)

RobustBlack: Challenging Black-Box Adversarial Attacks on State-of-the-Art Defenses. - Mohamed Djilani; Salah Ghamizi; Maxime Cordy (CoRR, 2024)

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. - Zeming Dong; Qiang Hu; Zhenya Zhang; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (J. Syst. Softw., 2024)

LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2024)

KAPE: kNN-based Performance Testing for Deep Code Search. - Yuejun Guo 001; Qiang Hu; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2024)

Test Optimization in DNN Testing: A Survey. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2024)

Active Code Learning: Benchmarking Sample-Efficient Training of Code Models. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Lei Ma 003; Mike Papadakis; Yves Le Traon (IEEE Trans. Software Eng., 2024)

Towards Exploring the Limitations of Test Selection Techniques on Graph Neural Networks: An Empirical Study. - Xueqi Dang; Yinghua Li; Wei Ma; Yuejun Guo 001; Qiang Hu; Mike Papadakis; Maxime Cordy; Yves Le Traon (Empir. Softw. Eng., 2024)

SafePowerGraph-LLM: Novel Power Grid Graph Embedding and Optimization with Large Language Models. - Fabien Bernier; Jun Cao; Maxime Cordy; Salah Ghamizi (CoRR, 2025)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (Softw. Test. Verification Reliab., 2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols. - Olivier Zeyen; Maxime Cordy; Martin Gubri; Gilles Perrouin; Mathieu Acher (CoRR, 2025)

On the Robustness of Tabular Foundation Models: Test-Time Attacks and In-Context Defenses. - Mohamed Djilani; Thibault Simonetto; Karim Tit; Florian Tambon; Paul Récamier; Salah Ghamizi; Maxime Cordy; Mike Papadakis (CoRR, 2025)

TRIDENT: Temporally Restricted Inference via DFA-Enhanced Neural Traversal. - Vincenzo Collura; Karim Tit; Laura Bussi; Eleonora Giunchiglia; Maxime Cordy (CoRR, 2025)

KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections. - Pantelis Dogoulis; Karim Tit; Maxime Cordy (CoRR, 2025)

Constraint-Guided Prediction Refinement via Deterministic Diffusion Trajectories. - Pantelis Dogoulis; Fabien Bernier; Félix Fourreau; Karim Tit; Maxime Cordy (CoRR, 2025)

Leveraging External Factors in Household-Level Electrical Consumption Forecasting using Hypernetworks. - Fabien Bernier; Maxime Cordy; Yves Le Traon (CoRR, 2025)

Insights on Adversarial Attacks for Tabular Machine Learning via a Systematic Literature Review. - Salijona Dyrmishi; Mohamed Djilani; Thibault Simonetto; Salah Ghamizi; Maxime Cordy (CoRR, 2025)

Boosting source code learning with text-oriented data augmentation: an empirical study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (Empir. Softw. Eng., 2025)

When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions. - Maya Larbi; Amal Akli; Mike Papadakis; Rihab Bouyousfi; Maxime Cordy; Federica Sarro; Yves Le Traon (CoRR, 2025)

Assessing the Robustness of Test Selection Methods for Deep Neural Networks. - Qiang Hu; Yuejun Guo 001; Xiaofei Xie; Maxime Cordy; Wei Ma; Mike Papadakis; Lei Ma 003; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2025)