An Effective Path Selection Strategy for Mutation Testing. - Mike Papadakis; Nicos Malevris (APSEC, 2009)

Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution. - Mike Papadakis; Nicos Malevris (AIAI (Workshops), 2009)

Evaluating Mutation Testing Alternatives: A Collateral Experiment. - Marinos Kintis; Mike Papadakis; Nicos Malevris (APSEC, 2010)

Towards automating the generation of mutation tests. - Mike Papadakis; Nicos Malevris; Maria Kallia (AST, 2010)

A Symbolic Execution Tool Based on the Elimination of Infeasible Paths. - Mike Papadakis; Nicos Malevris (ICSEA, 2010)

Mutation Testing Strategies - A Collateral Approach. - Mike Papadakis; Nicos Malevris; Marinos Kintis (ICSOFT (2), 2010)

An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. - Mike Papadakis; Nicos Malevris (ICST Workshops, 2010)

Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. - Mike Papadakis; Nicos Malevris (ISSRE, 2010)

Automatic mutation based test data generation. - Mike Papadakis; Nicos Malevris (GECCO (Companion), 2011)

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing. - Mike Papadakis; Nicos Malevris (Softw. Qual. J., 2011)

Isolating First Order Equivalent Mutants via Second Order Mutation. - Marinos Kintis; Mike Papadakis; Nicos Malevris (ICST, 2012)

Using Mutants to Locate "Unknown" Faults. - Mike Papadakis; Yves Le Traon (ICST, 2012)

Killing Mutants Effectively a Search Based Approach. - Mike Papadakis; Nicos Malevris (JCKBSE, 2012)

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines - Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Patrick Heymans; Yves Le Traon (CoRR, 2012)

Mutation based test case generation via a path selection strategy. - Mike Papadakis; Nicos Malevris (Inf. Softw. Technol., 2012)

Towards automated testing and fixing of re-engineered feature models. - Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Yves Le Traon (ICSE, 2013)

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing. - Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Yves Le Traon (ICST Workshops, 2013)

Testing Delegation Policy Enforcement via Mutation Analysis. - Phu Hong Nguyen; Mike Papadakis; Iram Rubab (ICST Workshops, 2013)

Mutation testing strategies using mutant classification. - Mike Papadakis; Yves Le Traon (SAC, 2013)

Proteum/FL: A tool for localizing faults using mutation analysis. - Mike Papadakis; Márcio Eduardo Delamaro; Yves Le Traon (SCAM, 2013)

Multi-objective test generation for software product lines. - Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Yves Le Traon (SPLC, 2013)

PLEDGE: a product line editor and test generation tool. - Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Yves Le Traon (SPLC Workshops, 2013)

Test Data Generation Techniques for Mutation Testing: A Systematic Mapping. - Francisco Carlos M. Souza; Mike Papadakis; Vinicius H. S. Durelli; Márcio Eduardo Delamaro (CIbSE, 2014)

MutaLog: A Tool for Mutating Logic Formulas. - Christopher Henard; Mike Papadakis; Yves Le Traon (ICST Workshops, 2014)

Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing. - Mike Papadakis; Christopher Henard; Yves Le Traon (ICST, 2014)

MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis. - Mike Papadakis; Tejeddine Mouelhi; Haitao Dan (ICST Workshops, 2014)

Effective fault localization via mutation analysis: a selective mutation approach. - Mike Papadakis; Yves Le Traon (SAC, 2014)

Towards a language-independent approach for reverse-engineering of software product lines. - Tewfik Ziadi; Christopher Henard; Mike Papadakis; Mikal Ziane; Yves Le Traon (SAC, 2014)

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

Mutation-Based Generation of Software Product Line Test Configurations. - Christopher Henard; Mike Papadakis; Yves Le Traon (SSBSE, 2014)

Mitigating the effects of equivalent mutants with mutant classification strategies. - Mike Papadakis; Márcio Eduardo Delamaro; Yves Le Traon (Sci. Comput. Program., 2014)

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines. - Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Patrick Heymans; Yves Le Traon (IEEE Trans. Software Eng., 2014)

Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines. - Christopher Henard; Mike Papadakis; Mark Harman; Yves Le Traon (ICSE (1), 2015)

Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. - Mike Papadakis; Yue Jia 001; Mark Harman; Yves Le Traon (ICSE (1), 2015)

Sound and Quasi-Complete Detection of Infeasible Test Requirements. - Sébastien Bardin; Mickaël Delahaye; Robin David; Nikolai Kosmatov; Mike Papadakis; Yves Le Traon; Jean-Yves Marion (ICST, 2015)

Flattening or not of the combinatorial interaction testing models? - Christopher Henard; Mike Papadakis; Yves Le Traon (ICST Workshops, 2015)

Similarity testing for access control. - Antonia Bertolino; Said Daoudagh; Donia El Kateb; Christopher Henard; Yves Le Traon; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi; Mike Papadakis (Inf. Softw. Technol., 2015)

Employing second-order mutation for isolating first-order equivalent mutants. - Marinos Kintis; Mike Papadakis; Nicos Malevris (Softw. Test. Verification Reliab., 2015)

Metallaxis-FL: mutation-based fault localization. - Mike Papadakis; Yves Le Traon (Softw. Test. Verification Reliab., 2015)

An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel. - Matthieu Jimenez; Mike Papadakis; Yves Le Traon (APSEC, 2016)

Featured model-based mutation analysis. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (ICSE, 2016)

Comparing white-box and black-box test prioritization. - Christopher Henard; Mike Papadakis; Mark Harman; Yue Jia 001; Yves Le Traon (ICSE, 2016)

Strong mutation-based test data generation using hill climbing. - Francisco Carlos M. Souza; Mike Papadakis; Yves Le Traon; Márcio Eduardo Delamaro (SBST@ICSE, 2016)

Feature Location Benchmark for Software Families Using Eclipse Community Releases. - Jabier Martinez; Tewfik Ziadi; Mike Papadakis; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon (ICSR, 2016)

PIT: a practical mutation testing tool for Java (demo). - Henry Coles; Thomas Laurent 003; Christopher Henard; Mike Papadakis; Anthony Ventresque (ISSTA, 2016)

Threats to the validity of mutation-based test assessment. - Mike Papadakis; Christopher Henard; Mark Harman; Yue Jia 001; Yves Le Traon (ISSTA, 2016)

Profiling Android Vulnerabilities. - Matthieu Jimenez; Mike Papadakis; Tegawendé F. Bissyandé; Jacques Klein (QRS, 2016)

Vulnerability Prediction Models: A Case Study on the Linux Kernel. - Matthieu Jimenez; Mike Papadakis; Yves Le Traon (SCAM, 2016)

Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. - Marinos Kintis; Mike Papadakis; Andreas Papadopoulos; Evangelos Valvis; Nicos Malevris (SCAM, 2016)

Assessing and Comparing Mutation-based Fault Localization Techniques. - Thierry Titcheu Chekam; Mike Papadakis; Yves Le Traon (CoRR, 2016)

Assessing and Improving the Mutation Testing Practice of PIT. - Thomas Laurent 003; Anthony Ventresque; Mike Papadakis; Christopher Henard; Yves Le Traon (CoRR, 2016)

An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption. - Thierry Titcheu Chekam; Mike Papadakis; Yves Le Traon; Mark Harman (ICSE, 2017)

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (ICST, 2017)

Assessing and Improving the Mutation Testing Practice of PIT. - Thomas Laurent 003; Mike Papadakis; Marinos Kintis; Christopher Henard; Yves Le Traon; Anthony Ventresque (ICST, 2017)

Towards Security-Aware Mutation Testing. - Thomas Loise; Xavier Devroey; Gilles Perrouin; Mike Papadakis; Patrick Heymans (ICST Workshops, 2017)

Freeing Testers from Polluting Test Objectives. - Michaël Marcozzi; Sébastien Bardin; Nikolai Kosmatov; Mike Papadakis; Virgile Prevosto; Loïc Correnson (CoRR, 2017)

Empirical Evaluation of Mutation-based Test Prioritization Techniques. - Donghwan Shin 001; Shin Yoo; Mike Papadakis; Doo-Hwan Bae (CoRR, 2017)

Static analysis of android apps: A systematic literature review. - Li Li 029; Tegawendé F. Bissyandé; Mike Papadakis; Siegfried Rasthofer; Alexandre Bartel; Damien Octeau; Jacques Klein; Yves Le Traon (Inf. Softw. Technol., 2017)

Special issue on Mutation Testing. - Mike Papadakis; René Just (Inf. Softw. Technol., 2017)

Can We Automate Away the Main Challenges of End-To-End Testing? - Renaud Rwemalika; Marinos Kintis; Mike Papadakis; Yves Le Traon (BENEVOL, 2018)

A Hybrid Algorithm for Multi-Objective Test Case Selection. - Takfarinas Saber; Florian Delavernhe; Mike Papadakis; Michael O'Neill 001; Anthony Ventresque (CEC, 2018)

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)

Predicting the fault revelation utility of mutants. - Thierry Titcheu Chekam; Mike Papadakis; Tegawendé F. Bissyandé; Yves Le Traon (ICSE (Companion Volume), 2018)

Time to clean your test objectives. - Michaël Marcozzi; Sébastien Bardin; Nikolai Kosmatov; Mike Papadakis; Virgile Prevosto; Loïc Correnson (ICSE, 2018)

Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults. - Mike Papadakis; Donghwan Shin 001; Shin Yoo; Doo-Hwan Bae (ICSE, 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)

Mutant Quality Indicators. - Mike Papadakis; Thierry Titcheu Chekam; Yves Le Traon (ICST Workshops, 2018)

[Engineering Paper] Enabling the Continuous Analysis of Security Vulnerabilities with VulData7. - Matthieu Jimenez; Yves Le Traon; Mike Papadakis (SCAM, 2018)

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (CoRR, 2018)

How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults. - Marinos Kintis; Mike Papadakis; Andreas Papadopoulos; Evangelos Valvis; Nicos Malevris; Yves Le Traon (Empir. Softw. Eng., 2018)

Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants. - Jabier Martinez; Tewfik Ziadi; Mike Papadakis; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon (Inf. Softw. Technol., 2018)

Model-based mutant equivalence detection using automata language equivalence and simulations. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (J. Syst. Softw., 2018)

Detecting Trivial Mutant Equivalences via Compiler Optimisations. - Marinos Kintis; Mike Papadakis; Yue Jia 001; Nicos Malevris; Yves Le Traon; Mark Harman (IEEE Trans. Software Eng., 2018)

Assessing transition-based test selection algorithms at Google. - Claire Leong; Abhayendra Singh; Mike Papadakis; Yves Le Traon; John Micco (ICSE (SEIP), 2019)

Validity fuzzing and parametric generators for effective random testing. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (ICSE (Companion Volume), 2019)

An Industrial Study on the Differences between Pre-Release and Post-Release Bugs. - Renaud Rwemalika; Marinos Kintis; Mike Papadakis; Yves Le Traon; Pierre Lorrach (ICSME, 2019)

On the Evolution of Keyword-Driven Test Suites. - Renaud Rwemalika; Marinos Kintis; Mike Papadakis; Yves Le Traon; Pierre Lorrach (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)

Semantic fuzzing with zest. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (ISSTA, 2019)

Ukwikora: continuous inspection for keyword-driven testing. - Renaud Rwemalika; Marinos Kintis; Mike Papadakis; Yves Le Traon; Pierre Lorrach (ISSTA, 2019)

Mart: a mutant generation tool for LLVM. - Thierry Titcheu Chekam; Mike Papadakis; Yves Le Traon (ESEC/SIGSOFT FSE, 2019)

The importance of accounting for real-world labelling when predicting software vulnerabilities. - Matthieu Jimenez; Renaud Rwemalika; Mike Papadakis; Federica Sarro; Yves Le Traon; Mark Harman (ESEC/SIGSOFT FSE, 2019)

A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate. - Xavier Schmitt; Sylvain Kubler; Jérémy Robert; Mike Papadakis; Yves Le Traon (SNAMS, 2019)

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

Chapter Six - Mutation Testing Advances: An Analysis and Survey. - Mike Papadakis; Marinos Kintis; Jie Zhang 050; Yue Jia 001; Yves Le Traon; Mark Harman (Adv. Comput., 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)

Editorial to the theme section on model-based testing. - Mike Papadakis; Shaukat Ali 001; Gilles Perrouin (Softw. Syst. Model., 2019)

Empirical evaluation of mutation-based test case prioritization techniques. - Donghwan Shin 001; Shin Yoo; Mike Papadakis; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2019)

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

Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework. - Thierry Titcheu Chekam; Mike Papadakis; Yves Le Traon (AST@ICSE, 2020)

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

Automatic testing and improvement of machine translation. - Zeyu Sun 004; Jie M. Zhang; Mark Harman; Mike Papadakis; Lu Zhang 023 (ICSE, 2020)

Commit-Aware Mutation Testing. - Wei Ma; Thomas Laurent 003; Milos Ojdanic; Thierry Titcheu Chekam; Anthony Ventresque; Mike Papadakis (ICSME, 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)

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)

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)

Selecting fault revealing mutants. - Thierry Titcheu Chekam; Mike Papadakis; Tegawendé F. Bissyandé; Yves Le Traon; Koushik Sen (Empir. Softw. Eng., 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)

MuDelta: Delta-Oriented Mutation Testing at Commit Time. - Wei Ma; Thierry Titcheu Chekam; Mike Papadakis; Mark Harman (ICSE, 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)

Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities. - William Bonnaventure; Ahmed Khanfir; Alexandre Bartel; Mike Papadakis; Yves Le Traon (QRS, 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)

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)

Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies. - Milos Ojdanic; Aayush Garg; Ahmed Khanfir; Renzo Degiovanni; Mike Papadakis; 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)

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)

An empirical study of async wait flakiness in front-end testing. - Yu Pei; Sarra Habchi; Renaud Rwemalika; Jeongju Sohn; Mike Papadakis (BENEVOL, 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)

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

Improving Machine Translation Systems via Isotopic Replacement. - Zeyu Sun 004; Jie M. Zhang; Yingfei Xiong 001; Mark Harman; Mike Papadakis; Lu Zhang 023 (ICSE, 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)

µBert: Mutation Testing using Pre-Trained Language Models. - Renzo Degiovanni; Mike Papadakis (ICST Workshops, 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)

CEMENT: On the Use of Evolutionary Coupling Between Tests and Code Units. A Case Study on Fault Localization. - Jeongju Sohn; Mike Papadakis (ISSRE, 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)

CodeBERT-nt: Code Naturalness via CodeBERT. - Ahmed Khanfir; Matthieu Jimenez; Mike Papadakis; Yves Le Traon (QRS, 2022)

IntJect: Vulnerability Intent Bug Seeding. - Benjamin Petit; Ahmed Khanfir; Ezekiel O. Soremekun; Gilles Perrouin; Mike Papadakis (QRS, 2022)

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

Using Evolutionary Coupling to Establish Relevance Links Between Tests and Code Units. A case study on fault localization. - Jeongju Sohn; Mike Papadakis (CoRR, 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)

Predicting Flaky Tests Categories using Few-Shot Learning. - Amal Akli; Guillaume Haben; Sarra Habchi; 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)

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)

On the use of commit-relevant mutants. - Milos Ojdanic; Wei Ma; Thomas Laurent 003; Thierry Titcheu Chekam; Anthony Ventresque; Mike Papadakis (Empir. Softw. Eng., 2022)

Mutation analysis and its industrial applications. - Rahul Gopinath; Jie M. Zhang; Marinos Kintis; Mike Papadakis (Softw. Test. Verification Reliab., 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)

FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning. - Amal Akli; Guillaume Haben; Sarra Habchi; Mike Papadakis; Yves Le Traon (AST, 2023)

On Comparing Mutation Testing Tools through Learning-based Mutant Selection. - Milos Ojdanic; Ahmed Khanfir; Aayush Garg; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (AST, 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)

Evaluating the Impact of Experimental Assumptions in Automated Fault Localization. - Ezekiel O. Soremekun; Lukas Kirschner; Marcel Böhme; Mike Papadakis (ICSE, 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)

Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. - Milos Ojdanic; Mike Papadakis; Mark Harman (ESEC/SIGSOFT FSE, 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)

Efficient Mutation Testing via Pre-Trained Language Models. - Ahmed Khanfir; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (CoRR, 2023)

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

Specification Inference for Evolving Systems. - Renzo Degiovanni; Facundo Molina; Agustín Nolasco; Nazareno Aguirre; Mike Papadakis (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)

Vulnerability Mimicking Mutants. - Aayush Garg; Renzo Degiovanni; Mike Papadakis; 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)

Time-based Repair for Asynchronous Wait Flaky Tests in Web Testing. - Yu Pei; Jeongju Sohn; Sarra Habchi; Mike Papadakis (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)

Large Language Models in Fault Localisation. - Yonghao Wu; Zheng Li 002; Jie M. Zhang; Mike Papadakis; Mark Harman; Yong Liu 030 (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)

Smells in system user interactive tests. - Renaud Rwemalika; Sarra Habchi; Mike Papadakis; Yves Le Traon; Marie-Claude Brasseur (Empir. Softw. Eng., 2023)

Cerebro: Static Subsuming Mutant Selection. - Aayush Garg; Milos Ojdanic; Renzo Degiovanni; Thierry Titcheu Chekam; Mike Papadakis; Yves Le Traon (IEEE Trans. Software Eng., 2023)

Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution. - Milos Ojdanic; Ezekiel O. Soremekun; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 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)

Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies. - Milos Ojdanic; Aayush Garg; Ahmed Khanfir; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (IEEE Trans. Software Eng., 2023)

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

On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset. - Aayush Garg; Renzo Degiovanni; Mike Papadakis; Yves Le Traon (ICST, 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)

You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models. - Alix Decrop; Gilles Perrouin; Mike Papadakis; Xavier Devroey; Pierre-Yves Schobbens (CoRR, 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)

An Exploratory Study on Using Large Language Models for Mutation Testing. - Bo Wang 050; Mingda Chen; Youfang Lin; Mike Papadakis; Jie M. Zhang (CoRR, 2024)

Do LLMs generate test oracles that capture the actual or the expected program behaviour? - Michael Konstantinou; Renzo Degiovanni; Mike Papadakis (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)

Abstraction-Aware Inference of Metamorphic Relations. - Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias (Proc. ACM Softw. Eng., 2024)

GraphPrior: Mutation-based Test Input Prioritization for Graph Neural Networks. - Xueqi Dang; Yinghua Li; Mike Papadakis; Jacques Klein; Tegawendé F. Bissyandé; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 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)

Abstraction-Aware Inference of Metamorphic Relations (Replication Package). - Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias (Zenodo, 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 Input Prioritization for Machine Learning Classifiers. - Xueqi Dang; Yinghua Li; Mike Papadakis; Jacques Klein; Tegawendé F. Bissyandé; Yves Le Traon (IEEE Trans. Software Eng., 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)

Mutation Testing in Practice: Insights From Open-Source Software Developers. - Ana Belén Sánchez; José Antonio Parejo; Sergio Segura; Amador Durán Toro; Mike Papadakis (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)

Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants. - Asma Hamidi; Ahmed Khanfir; Mike Papadakis (ICSTW, 2025)

An Empirical Study of Web Flaky Tests: Understanding and Unveiling DOM Event Interaction Challenges. - Yu Pei; Jeongju Sohn; Mike Papadakis (ICST, 2025)

KAVe: A Tool to Detect XSS and SQLi Vulnerabilities using a Multi-Agent System over a Multi-Layer Knowledge Graph. - Rafael Ramires; Ana Respício; Ibéria Medeiros; Mike Papadakis (SIGSOFT FSE Companion, 2025)

Non-Flaky and Nearly Optimal Time-Based Treatment of Asynchronous Wait Web Tests. - Yu Pei; Jeongju Sohn; Sarra Habchi; Mike Papadakis (ACM Trans. Softw. Eng. Methodol., 2025)

When Radiation Meets Linux: Analyzing Soft Errors in Linux on COTS SoCs under Proton Irradiation. - Saad Memon; Rafal Graczyk; Tomasz Rajkowski; Jan Swakon; Damian Wrobel; Sebastian Kusyk; Mike Papadakis (CoRR, 2025)

HInter: Exposing Hidden Intersectional Bias in Large Language Models. - Badr Souani; Ezekiel O. Soremekun; Mike Papadakis; Setsuko Yokoyama; Sudipta Chattopadhyay 001; Yves Le Traon (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)

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)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation. - Michael Konstantinou; Renzo Degiovanni; Jie M. Zhang; Mark Harman; Mike Papadakis (CoRR, 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)

Enriching Mutation Testing With Innovative Method Invocation Mutation: Filling the Crucial Missing Piece of the Puzzle. - Peng Zhang 083; Zeyu Lu; Yang Wang 165; Yibiao Yang; Yuming Zhou; Mike Papadakis (IEEE Trans. Software Eng., 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)