Mike Papadakis

According to our database, Mike Papadakis authored at least 178 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2024

KAPE: <i>k</i>NN-based Performance Testing for Deep Code Search.

Yuejun Guo, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., February, 2024

LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., January, 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., January, 2024

Importance Guided Data Augmentation for Neural-Based Code Understanding.

Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao

CoRR, 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

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., July, 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., April, 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., January, 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

Smells in system user interactive tests.

Renaud Rwemalika, Sarra Habchi, Mike Papadakis, Yves Le Traon, Marie-Claude Brasseur

Empir. Softw. Eng., 2023

Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations.

Salah Ghamizi, Maxime Cordy, Yuejun Guo, Mike Papadakis, Yves Le Traon

CoRR, 2023

Large Language Models in Fault Localisation.

Yonghao Wu, Zheng Li, Jie M. Zhang, Mike Papadakis, Mark Harman, Yong Liu

CoRR, 2023

Evaluating the Robustness of Test Selection Methods for Deep Neural Networks.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2023

Active Code Learning: Benchmarking Sample-Efficient Training of Code Models.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2023

Time-based Repair for Asynchronous Wait Flaky Tests in Web Testing.

Yu Pei, Jeongju Sohn, Sarra Habchi, Mike Papadakis

CoRR, 2023

Boosting Source Code Learning with Data Augmentation: An Empirical Study.

Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

CoRR, 2023

Vulnerability Mimicking Mutants.

Aayush Garg, Renzo Degiovanni, Mike Papadakis, 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

Specification Inference for Evolving Systems.

Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, Mike Papadakis

CoRR, 2023

Assertion Inferring Mutants.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon

CoRR, 2023

Efficient Mutation Testing via Pre-Trained Language Models.

Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

CoRR, 2023

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation.

Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao

Proceedings of the IEEE International Conference on Software Analysis, 2023

Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants.

Milos Ojdanic, Mike Papadakis, Mark Harman

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack.

Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Enabling Efficient Assertion Inference.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Evaluating the Impact of Experimental Assumptions in Automated Fault Localization.

Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

CodeS: Towards Code Model Generalization Under Distribution Shift.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Aries: 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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks.

Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon

Proceedings of the International Conference on Machine Learning, 2023

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

ACoRe: Automated Goal-Conflict Resolution.

Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

On Comparing Mutation Testing Tools through Learning-based Mutant Selection.

Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning.

Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

On Evaluating Adversarial Robustness of Chest X-ray Classification.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Lei Ma, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., 2022

Mutation analysis and its industrial applications.

Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis

Softw. Test. Verification Reliab., 2022

On the use of commit-relevant mutants.

Milos Ojdanic, Wei Ma, Thomas Laurent, Thierry Titcheu Chekam, Anthony Ventresque, Mike Papadakis

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

Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling.

Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

CoRR, 2022

Enhancing Code Classification by Mixup-Based Data Augmentation.

Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

CoRR, 2022

Predicting Flaky Tests Categories using Few-Shot Learning.

Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon

CoRR, 2022

Efficient Testing of Deep Neural Networks via Decision Boundary Analysis.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2022

CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning.

Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei 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

Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon

CoRR, 2022

Labeling-Free Comparison Testing of Deep Learning Models.

Yuejun Guo, Qiang Hu, Maxime Cordy, Xiaofei Xie, Mike Papadakis, Yves Le Traon

CoRR, 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

Efficient and transferable adversarial examples from bayesian neural networks.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen

Proceedings of the Uncertainty in Artificial Intelligence, 2022

IntJect: Vulnerability Intent Bug Seeding.

Benjamin Petit, Ahmed Khanfir, Ezekiel O. Soremekun, Gilles Perrouin, Mike Papadakis

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

CodeBERT-nt: Code Naturalness via CodeBERT.

Ahmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon

Proceedings of the 22nd IEEE International Conference on Software Quality, 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

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

CEMENT: On the Use of Evolutionary Coupling Between Tests and Code Units. A Case Study on Fault Localization.

Jeongju Sohn, Mike Papadakis

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 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

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

µBert: Mutation Testing using Pre-Trained Language Models.

Renzo Degiovanni, Mike Papadakis

Proceedings of the 15th IEEE International Conference on Software Testing, 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

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment.

Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Improving Machine Translation Systems via Isotopic Replacement.

Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen

Proceedings of the Computer Vision - ECCV 2022, 2022

Influence-driven data poisoning in graph-based semi-supervised classifiers.

Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

Robust active learning: sample-efficient training of robust deep learning models.

Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

An empirical study of async wait flakiness in front-end testing.

Yu Pei, Sarra Habchi, Renaud Rwemalika, Jeongju Sohn, Mike Papadakis

Proceedings of the Belgium-Netherlands Software Evolution Workshop, 2022

Adversarial Robustness in Multi-Task Learning: Promises and Illusions.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Test Selection for Deep Learning Systems.

Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon

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

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

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

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

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre

CoRR, 2021

On the Use of Mutation in Injecting Test Order-Dependency.

Sarra Habchi, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2021

Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities.

William Bonnaventure, Ahmed Khanfir, Alexandre Bartel, Mike Papadakis, Yves Le Traon

Proceedings of the 21st IEEE International Conference on Software Quality, 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

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Towards Exploring the Limitations of Active Learning: An Empirical Study.

Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

MuDelta: Delta-Oriented Mutation Testing at Commit Time.

Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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

Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

2020

Selecting fault revealing mutants.

Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen

Empir. Softw. Eng., 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

Effective and Efficient Data Poisoning in Semi-Supervised Learning.

Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon

CoRR, 2020

Efficient and Transferable Adversarial Examples from Bayesian Neural Networks.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 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

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

Commit-Aware Mutation Testing.

Wei Ma, Thomas Laurent, Milos Ojdanic, Thierry Titcheu Chekam, Anthony Ventresque, Mike Papadakis

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Automatic testing and improvement of machine translation.

Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

FeatureNET: diversity-driven generation of deep learning models.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework.

Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Statistical Model Checking for Variability-Intensive Systems.

Maxime Cordy, Mike Papadakis, Axel Legay

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Empirical evaluation of mutation-based test case prioritization techniques.

Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae

Softw. Test. Verification Reliab., 2019

Editorial to the theme section on model-based testing.

Mike Papadakis, Shaukat Ali, Gilles Perrouin

Softw. Syst. Model., 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

Adversarial Embedding: A robust and elusive Steganography and Watermarking technique.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2019

Automated Search for Configurations of Deep Neural Network Architectures.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2019

Chapter Six - Mutation Testing Advances: An Analysis and Survey.

Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, Mark Harman

Adv. Comput., 2019

Automated search for configurations of convolutional neural network architectures.

Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon

Proceedings of the 23rd International Systems and Software Product Line Conference, 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

Proceedings of the Sixth International Conference on Social Networks Analysis, 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

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Mart: a mutant generation tool for LLVM.

Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Ukwikora: continuous inspection for keyword-driven testing.

Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Semantic fuzzing with zest.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Search-based test and improvement of machine-learning-based anomaly detection systems.

Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

On the Evolution of Keyword-Driven Test Suites.

Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 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

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Validity fuzzing and parametric generators for effective random testing.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Assessing transition-based test selection algorithms at Google.

Claire Leong, Abhayendra Singh, Mike Papadakis, Yves Le Traon, John Micco

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018

Detecting Trivial Mutant Equivalences via Compiler Optimisations.

Marinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, Mark Harman

IEEE Trans. Software Eng., 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

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

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

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

CoRR, 2018

[Engineering Paper] Enabling the Continuous Analysis of Security Vulnerabilities with VulData7.

Matthieu Jimenez, Yves Le Traon, Mike Papadakis

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Mutant Quality Indicators.

Mike Papadakis, Thierry Titcheu Chekam, Yves Le Traon

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

TUNA: TUning Naturalness-Based Analysis.

Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis.

Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 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, Shin Yoo, Doo-Hwan Bae

Proceedings of the 40th International Conference on Software Engineering, 2018

Time to clean your test objectives.

Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson

Proceedings of the 40th International Conference on Software Engineering, 2018

Predicting the fault revelation utility of mutants.

Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 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

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

A Hybrid Algorithm for Multi-Objective Test Case Selection.

Takfarinas Saber, Florian Delavernhe, Mike Papadakis, Michael O'Neill, Anthony Ventresque

Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

Can We Automate Away the Main Challenges of End-To-End Testing?

Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon

Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018

2017

Special issue on Mutation Testing.

Mike Papadakis, René Just

Inf. Softw. Technol., 2017

Static analysis of android apps: A systematic literature review.

Li Li, Tegawendé F. Bissyandé, Mike Papadakis, Siegfried Rasthofer, Alexandre Bartel, Damien Octeau, Jacques Klein, Yves Le Traon

Inf. Softw. Technol., 2017

Empirical Evaluation of Mutation-based Test Prioritization Techniques.

Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae

CoRR, 2017

Freeing Testers from Polluting Test Objectives.

Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson

CoRR, 2017

Towards Security-Aware Mutation Testing.

Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Assessing and Improving the Mutation Testing Practice of PIT.

Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque

Proceedings of the 2017 IEEE International Conference on Software Testing, 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

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

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

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Assessing and Improving the Mutation Testing Practice of PIT.

Thomas Laurent, Anthony Ventresque, Mike Papadakis, Christopher Henard, Yves Le Traon

CoRR, 2016

Assessing and Comparing Mutation-based Fault Localization Techniques.

Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon

CoRR, 2016

Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study.

Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Vulnerability Prediction Models: A Case Study on the Linux Kernel.

Matthieu Jimenez, Mike Papadakis, Yves Le Traon

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Profiling Android Vulnerabilities.

Matthieu Jimenez, Mike Papadakis, Tegawendé F. Bissyandé, Jacques Klein

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Threats to the validity of mutation-based test assessment.

Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

PIT: a practical mutation testing tool for Java (demo).

Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque

Proceedings of the 25th International Symposium on Software Testing and Analysis, 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

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Strong mutation-based test data generation using hill climbing.

Francisco Carlos M. Souza, Mike Papadakis, Yves Le Traon, Márcio Eduardo Delamaro

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

Comparing white-box and black-box test prioritization.

Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon

Proceedings of the 38th International Conference on Software Engineering, 2016

Featured model-based mutation analysis.

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

Proceedings of the 38th International Conference on Software Engineering, 2016

An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel.

Matthieu Jimenez, Mike Papadakis, Yves Le Traon

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Metallaxis-FL: mutation-based fault localization.

Mike Papadakis, Yves Le Traon

Softw. Test. Verification Reliab., 2015

Employing second-order mutation for isolating first-order equivalent mutants.

Marinos Kintis, Mike Papadakis, Nicos Malevris

Softw. Test. Verification Reliab., 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

Flattening or not of the combinatorial interaction testing models?

Christopher Henard, Mike Papadakis, Yves Le Traon

Proceedings of the Eighth IEEE International Conference on Software Testing, 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

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Trivial 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

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines.

Christopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

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

Mitigating the effects of equivalent mutants with mutant classification strategies.

Mike Papadakis, Márcio Eduardo Delamaro, Yves Le Traon

Sci. Comput. Program., 2014

Mutation-Based Generation of Software Product Line Test Configurations.

Christopher Henard, Mike Papadakis, Yves Le Traon

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

A variability perspective of mutation analysis.

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Towards a language-independent approach for reverse-engineering of software product lines.

Tewfik Ziadi, Christopher Henard, Mike Papadakis, Mikal Ziane, Yves Le Traon

Proceedings of the Symposium on Applied Computing, 2014

Effective fault localization via mutation analysis: a selective mutation approach.

Mike Papadakis, Yves Le Traon

Proceedings of the Symposium on Applied Computing, 2014

MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis.

Mike Papadakis, Tejeddine Mouelhi, Haitao Dan

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing.

Mike Papadakis, Christopher Henard, Yves Le Traon

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

MutaLog: A Tool for Mutating Logic Formulas.

Christopher Henard, Mike Papadakis, Yves Le Traon

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Test Data Generation Techniques for Mutation Testing: A Systematic Mapping.

Francisco Carlos M. Souza, Mike Papadakis, Vinicius H. S. Durelli, Márcio Eduardo Delamaro

Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013

PLEDGE: a product line editor and test generation tool.

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Multi-objective test generation for software product lines.

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon

Proceedings of the 17th International Software Product Line Conference, 2013

Proteum/FL: A tool for localizing faults using mutation analysis.

Mike Papadakis, Márcio Eduardo Delamaro, Yves Le Traon

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Mutation testing strategies using mutant classification.

Mike Papadakis, Yves Le Traon

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Testing Delegation Policy Enforcement via Mutation Analysis.

Phu Hong Nguyen, Mike Papadakis, Iram Rubab

Proceedings of the Sixth IEEE International Conference on Software Testing, 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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Towards automated testing and fixing of re-engineered feature models.

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Mutation based test case generation via a path selection strategy.

Mike Papadakis, Nicos Malevris

Inf. Softw. Technol., 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

Killing Mutants Effectively a Search Based Approach.

Mike Papadakis, Nicos Malevris

Proceedings of the Knowledge-Based Software Engineering, 2012

Using Mutants to Locate "Unknown" Faults.

Mike Papadakis, Yves Le Traon

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Isolating First Order Equivalent Mutants via Second Order Mutation.

Marinos Kintis, Mike Papadakis, Nicos Malevris

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

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

Automatic mutation based test data generation.

Mike Papadakis, Nicos Malevris

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

2010

Automatic Mutation Test Case Generation via Dynamic Symbolic Execution.

Mike Papadakis, Nicos Malevris

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

An Empirical Evaluation of the First and Second Order Mutation Testing Strategies.

Mike Papadakis, Nicos Malevris

Proceedings of the Third International Conference on Software Testing, 2010

Mutation Testing Strategies - A Collateral Approach.

Mike Papadakis, Nicos Malevris, Marinos Kintis

Proceedings of the ICSOFT 2010, 2010

A Symbolic Execution Tool Based on the Elimination of Infeasible Paths.

Mike Papadakis, Nicos Malevris

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Towards automating the generation of mutation tests.

Mike Papadakis, Nicos Malevris, Maria Kallia

Proceedings of the 5th Workshop on Automation of Software Test, 2010

Evaluating Mutation Testing Alternatives: A Collateral Experiment.

Marinos Kintis, Mike Papadakis, Nicos Malevris

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution.

Mike Papadakis, Nicos Malevris

Proceedings of the Workshops of the 5th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI-2009), 2009

An Effective Path Selection Strategy for Mutation Testing.

Mike Papadakis, Nicos Malevris

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009