Skip to content

Mike Papadakis

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

96

Venues

26

Active years

2009–2026

Best venue rank

A*

Where they publish

Papers

96 indexed papers, newest first.

YearVenueTitleAuthors
2026ICSTRound-Trip Mutation Testing: Translating Code to Natural Language Intent and back.Asma Hamidi, Cedric Richter, Ahmed Khanfir, Mike Papadakis
2026ICSTHow well LLM-based test generation techniques perform with newer LLM versions?Michael Konstantinou, Renzo Degiovanni, Mike Papadakis
2026ICSTPinpointing Flakiness in Web Tests via DOM Event Analysis and LLM-based Reasoning.Yu Pei, Jeongju Sohn, Sarra Habchi, Mike Papadakis
2026ICWEAnalyzing Status Code Misuses in REST API Specifications.Alix Decrop, Mike Papadakis, Gilles Perrouin
2025ICSTIntent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants.Asma Hamidi, Ahmed Khanfir, Mike Papadakis
2025ICSTAn Empirical Study of Web Flaky Tests: Understanding and Unveiling DOM Event Interaction Challenges.Yu Pei, Jeongju Sohn, Mike Papadakis
2025QRSPatterns that Break Memory: SEU Characterization of COTS LPDDR2 and LPDDR4 SDRAM via Stress Testing Under 60 MeV Proton Beam.Saad Memon, Rafal Graczyk, Tomasz Rajkowski, Jan Swakon, Mike Papadakis
2024ICSESpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2024ICSTOn the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset.Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2023AAAIOn Evaluating Adversarial Robustness of Chest X-ray Classification.Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2023ASTFlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning.Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon
2023ASTOn Comparing Mutation Testing Tools through Learning-based Mutant Selection.Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2023CAINTowards Understanding Model Quantization for Reliable Deep Neural Network Deployment.Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon
2023FASEACoRe: Automated Goal-Conflict Resolution.Luiz Carvalho, Renzo Degiovanni, Matas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023GECCOAutomated Repair of Unrealisable LTL Specifications Guided by Model Counting.Matas Brizzio, Maxime Cordy, Mike Papadakis, Csar Snchez, Nazareno Aguirre, Renzo Degiovanni
2023ICMLGAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks.Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon
2023ICSEAries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation.Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon
2023ICSECodeS: Towards Code Model Generalization Under Distribution Shift.Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon
2023ICSEEvaluating the Impact of Experimental Assumptions in Automated Fault Localization.Ezekiel O. Soremekun, Lukas Kirschner, Marcel Bhme, Mike Papadakis
2023ISSREEnabling Efficient Assertion Inference.Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
2022AAAIAdversarial Robustness in Multi-Task Learning: Promises and Illusions.Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2022CAINRobust active learning: sample-efficient training of robust deep learning models.Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon
2022CAINInfluence-driven data poisoning in graph-based semi-supervised classifiers.Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon
2022ECCVLGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2022ICSEImproving Machine Translation Systems via Isotopic Replacement.Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang
2022ICSEFlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment.Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman
2022ICSTBert: Mutation Testing using Pre-Trained Language Models.Renzo Degiovanni, Mike Papadakis
2022ICSTA Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests.Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon
2022ISSRECEMENT: On the Use of Evolutionary Coupling Between Tests and Code Units. A Case Study on Fault Localization.Jeongju Sohn, Mike Papadakis
2022MSRGraphCode2Vec: 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
2022QRSCodeBERT-nt: Code Naturalness via CodeBERT.Ahmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon
2022QRSIntJect: Vulnerability Intent Bug Seeding.Benjamin Petit, Ahmed Khanfir, Ezekiel O. Soremekun, Gilles Perrouin, Mike Papadakis
2022UAIEfficient and transferable adversarial examples from bayesian neural networks.Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2021ICSEMuDelta: Delta-Oriented Mutation Testing at Commit Time.Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman
2021MSRA Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests.Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon
2021QRSConfuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities.William Bonnaventure, Ahmed Khanfir, Alexandre Bartel, Mike Papadakis, Yves Le Traon
2020FASEStatistical Model Checking for Variability-Intensive Systems.Maxime Cordy, Mike Papadakis, Axel Legay
2020ICSEMuteria: An Extensible and Flexible Multi-Criteria Software Testing Framework.Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon
2020ICSEFeatureNET: diversity-driven generation of deep learning models.Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2020ICSEAutomatic testing and improvement of machine translation.Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang
2020KDDData-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
2019ICSEAssessing transition-based test selection algorithms at Google.Claire Leong, Abhayendra Singh, Mike Papadakis, Yves Le Traon, John Micco
2019ICSEValidity fuzzing and parametric generators for effective random testing.Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019ICSTOn the Evolution of Keyword-Driven Test Suites.Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach
2019ISSTASearch-based test and improvement of machine-learning-based anomaly detection systems.Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon
2019ISSTASemantic fuzzing with zest.Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019ISSTAUkwikora: continuous inspection for keyword-driven testing.Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach
2019SPLCAutomated search for configurations of convolutional neural network architectures.Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2018CECA Hybrid Algorithm for Multi-Objective Test Case Selection.Takfarinas Saber, Florian Delavernhe, Mike Papadakis, Michael O'Neill, Anthony Ventresque
2018ESEMAre 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
2018ICSEPredicting the fault revelation utility of mutants.Thierry Titcheu Chekam, Mike Papadakis, Tegawend F. Bissyand, Yves Le Traon
2018ICSETime to clean your test objectives.Michal Marcozzi, Sbastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loc Correnson
2018ICSEAre mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults.Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae
2018ICSTMutant Quality Indicators.Mike Papadakis, Thierry Titcheu Chekam, Yves Le Traon
2018SCAM[Engineering Paper] Enabling the Continuous Analysis of Security Vulnerabilities with VulData7.Matthieu Jimenez, Yves Le Traon, Mike Papadakis
2017ICSEAn 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
2017ICSTAutomata 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
2017ICSTAssessing and Improving the Mutation Testing Practice of PIT.Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque
2017ICSTTowards Security-Aware Mutation Testing.Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans
2016APSECAn Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel.Matthieu Jimenez, Mike Papadakis, Yves Le Traon
2016ICSEFeatured model-based mutation analysis.Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016ICSEComparing white-box and black-box test prioritization.Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon
2016ICSEStrong mutation-based test data generation using hill climbing.Francisco Carlos M. Souza, Mike Papadakis, Yves Le Traon, Mrcio Eduardo Delamaro
2016ICSRFeature Location Benchmark for Software Families Using Eclipse Community Releases.Jabier Martinez, Tewfik Ziadi, Mike Papadakis, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon
2016ISSTAPIT: a practical mutation testing tool for Java (demo).Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque
2016ISSTAThreats to the validity of mutation-based test assessment.Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon
2016QRSProfiling Android Vulnerabilities.Matthieu Jimenez, Mike Papadakis, Tegawend F. Bissyand, Jacques Klein
2016SCAMVulnerability Prediction Models: A Case Study on the Linux Kernel.Matthieu Jimenez, Mike Papadakis, Yves Le Traon
2016SCAMAnalysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study.Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris
2015ICSECombining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines.Christopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon
2015ICSETrivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique.Mike Papadakis, Yue Jia, Mark Harman, Yves Le Traon
2015ICSTSound and Quasi-Complete Detection of Infeasible Test Requirements.Sbastien Bardin, Mickal Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion
2015ICSTFlattening or not of the combinatorial interaction testing models?Christopher Henard, Mike Papadakis, Yves Le Traon
2014ICSTMutaLog: A Tool for Mutating Logic Formulas.Christopher Henard, Mike Papadakis, Yves Le Traon
2014ICSTSampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing.Mike Papadakis, Christopher Henard, Yves Le Traon
2014ICSTMUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis.Mike Papadakis, Tejeddine Mouelhi, Haitao Dan
2014SACEffective fault localization via mutation analysis: a selective mutation approach.Mike Papadakis, Yves Le Traon
2014SACTowards a language-independent approach for reverse-engineering of software product lines.Tewfik Ziadi, Christopher Henard, Mike Papadakis, Mikal Ziane, Yves Le Traon
2014SSBSEMutation-Based Generation of Software Product Line Test Configurations.Christopher Henard, Mike Papadakis, Yves Le Traon
2013ICSETowards automated testing and fixing of re-engineered feature models.Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon
2013ICSTAssessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing.Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon
2013ICSTTesting Delegation Policy Enforcement via Mutation Analysis.Phu Hong Nguyen, Mike Papadakis, Iram Rubab
2013SACMutation testing strategies using mutant classification.Mike Papadakis, Yves Le Traon
2013SCAMProteum/FL: A tool for localizing faults using mutation analysis.Mike Papadakis, Mrcio Eduardo Delamaro, Yves Le Traon
2013SPLCMulti-objective test generation for software product lines.Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon
2013SPLCPLEDGE: a product line editor and test generation tool.Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon
2012ICSTIsolating First Order Equivalent Mutants via Second Order Mutation.Marinos Kintis, Mike Papadakis, Nicos Malevris
2012ICSTUsing Mutants to Locate "Unknown" Faults.Mike Papadakis, Yves Le Traon
2011GECCOAutomatic mutation based test data generation.Mike Papadakis, Nicos Malevris
2010APSECEvaluating Mutation Testing Alternatives: A Collateral Experiment.Marinos Kintis, Mike Papadakis, Nicos Malevris
2010ICSETowards automating the generation of mutation tests.Mike Papadakis, Nicos Malevris, Maria Kallia
2010ICSEAA Symbolic Execution Tool Based on the Elimination of Infeasible Paths.Mike Papadakis, Nicos Malevris
2010ICSoftMutation Testing Strategies - A Collateral Approach.Mike Papadakis, Nicos Malevris, Marinos Kintis
2010ICSTAn Empirical Evaluation of the First and Second Order Mutation Testing Strategies.Mike Papadakis, Nicos Malevris
2010ISSREAutomatic Mutation Test Case Generation via Dynamic Symbolic Execution.Mike Papadakis, Nicos Malevris
2009APSECAn Effective Path Selection Strategy for Mutation Testing.Mike Papadakis, Nicos Malevris