All Stories

  1. Software Fairness: An Analysis and Survey

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

    Dr Mike PAPADAKIS

  2. 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

  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, May 2025, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  5. 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

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

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

    Dr Mike PAPADAKIS

  7. 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

  8. 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

  9. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

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

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

    Dr Mike PAPADAKIS

  11. 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

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

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

  13. 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

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

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

    Dr Mike PAPADAKIS

  15. iBiR : Bug Report driven Fault Injection

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

    Dr Mike PAPADAKIS

  16. GraphCode2Vec

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

    Dr Mike PAPADAKIS

  17. FlakiMe

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

    Dr Mike PAPADAKIS

  18. Improving machine translation systems via isotopic replacement

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  20. 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

  21. 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

  22. Test Selection for Deep Learning Systems

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

    Dr Mike PAPADAKIS

  23. Killing Stubborn Mutants with Symbolic Execution

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  25. Muteria

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  27. 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

  28. Ukwikora: continuous inspection for keyword-driven testing

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

    Dr Mike PAPADAKIS

  29. Semantic fuzzing with zest

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  31. Are mutants really natural?

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

    Dr Mike PAPADAKIS

  32. Time to clean your test objectives

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

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

  33. Are mutation scores correlated with real fault detection?

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

    Dr Mike PAPADAKIS

  34. 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

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

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  37. 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

  38. Metallaxis-FL: mutation-based fault localization

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

    Dr Mike PAPADAKIS