All Stories

  1. A Comprehensive Study on Large Language Models for Mutation Testing

    Article • ACM Transactions on Software Engineering and Methodology, March 2026, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  2. FuMi: A Runtime Fuzz-based Machine Learning Precision Measurement and Testing Framework

    Article • ACM Transactions on Software Engineering and Methodology, February 2026, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  3. AutoAdapt: On the Application of AutoML for Parameter-Efficient Fine-Tuning of Pre-Trained Code Models

    Article • ACM Transactions on Software Engineering and Methodology, February 2026, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  4. Software Fairness: An Analysis and Survey

    Article • ACM Computing Surveys, September 2025, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  5. A smarter tool to find security flaws in PHP websites before they go live

    Article • June 2025, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Rafael Ramires

  6. Assessing the Robustness of Test Selection Methods for Deep Neural Networks

    Article • ACM Transactions on Software Engineering and Methodology, January 2025, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Qiang Hu, Yuejun Guo

  7. The Importance of Accounting for Execution Failures when Predicting Test Flakiness

    Article • October 2024, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  8. Non-Flaky and Nearly-Optimal Time-based Treatment of Asynchronous Wait Web Tests

    Article • ACM Transactions on Software Engineering and Methodology, September 2024, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  9. Abstraction-Aware Inference of Metamorphic Relations

    Article • Proceedings of the ACM on Software Engineering, July 2024, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Nazareno Aguirre

  10. Test Optimization in DNN Testing: A Survey

    Article • ACM Transactions on Software Engineering and Methodology, April 2024, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Yuejun Guo

  11. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

    Article • April 2024, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Nazareno Aguirre

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

    Article • November 2023, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  13. KAPE: Automatic performance estimation of deep code search

    Article • ACM Transactions on Software Engineering and Methodology, September 2023, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Yuejun Guo

  14. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting

    Article • July 2023, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Nazareno Aguirre

  15. GraphPrior: Mutation-based Test Input Prioritization for Graph Neural Networks

    Article • ACM Transactions on Software Engineering and Methodology, July 2023, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  16. Evaluating the Impact of Experimental Assumptions in Automated Fault Localization

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mike PAPADAKIS

  17. iBiR : Bug Report driven Fault Injection

    Article • ACM Transactions on Software Engineering and Methodology, June 2022, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  18. GraphCode2Vec

    Article • May 2022, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  19. FlakiMe

    Article • May 2022, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  20. Improving machine translation systems via isotopic replacement

    Article • May 2022, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

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

    Article • May 2022, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  22. Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution

    Article • ACM Transactions on Software Engineering and Methodology, May 2022, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

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

    Article • ACM Transactions on Software Engineering and Methodology, April 2022, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  24. Test Selection for Deep Learning Systems

    Article • ACM Transactions on Software Engineering and Methodology, April 2021, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  25. Killing Stubborn Mutants with Symbolic Execution

    Article • ACM Transactions on Software Engineering and Methodology, April 2021, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  26. Search-based adversarial testing and improvement of constrained credit scoring systems

    Article • November 2020, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  27. Muteria

    Article • September 2020, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  28. Data-driven Simulation and Optimization for Covid-19 Exit Strategies

    Article • August 2020, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  29. The importance of accounting for real-world labelling when predicting software vulnerabilities

    Article • August 2019, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Federica Sarro

  30. Ukwikora: continuous inspection for keyword-driven testing

    Article • July 2019, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  31. Semantic fuzzing with zest

    Article • July 2019, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

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

    Article • July 2019, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  33. Are mutants really natural?

    Article • October 2018, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  34. Time to clean your test objectives

    Article • May 2018, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Michaël Marcozzi, Michaël Marcozzi

  35. Are mutation scores correlated with real fault detection?

    Article • May 2018, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

  36. Featured model-based mutation analysis

    Article • May 2016, ACM (Association for Computing Machinery)

    Prof. Pierre Yves Schobbens, Dr Mike PAPADAKIS, FNRS Research Associate Gilles Perrouin

  37. Comparing white-box and black-box test prioritization

    Article • May 2016, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

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

    Article • Software Testing Verification and Reliability, April 2014, Wiley

    Dr Mike PAPADAKIS

  39. A variability perspective of mutation analysis

    Article • January 2014, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Prof. Pierre Yves Schobbens, FNRS Research Associate Gilles Perrouin

  40. Metallaxis-FL: mutation-based fault localization

    Article • Software Testing Verification and Reliability, September 2013, Wiley

    Dr Mike PAPADAKIS