All Stories

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

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

    Dr Mike PAPADAKIS

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

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

  4. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

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

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

    Dr Mike PAPADAKIS

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

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

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

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

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

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

    Dr Mike PAPADAKIS

  10. iBiR : Bug Report driven Fault Injection

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

    Dr Mike PAPADAKIS

  11. GraphCode2Vec

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

    Dr Mike PAPADAKIS

  12. FlakiMe

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

    Dr Mike PAPADAKIS

  13. Improving machine translation systems via isotopic replacement

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

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

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

  17. Test Selection for Deep Learning Systems

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

    Dr Mike PAPADAKIS

  18. Killing Stubborn Mutants with Symbolic Execution

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  20. Muteria

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

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

  23. Ukwikora: continuous inspection for keyword-driven testing

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

    Dr Mike PAPADAKIS

  24. Semantic fuzzing with zest

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  26. Are mutants really natural?

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

    Dr Mike PAPADAKIS

  27. Time to clean your test objectives

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

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

  28. Are mutation scores correlated with real fault detection?

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

    Dr Mike PAPADAKIS

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

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

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

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

  33. Metallaxis-FL: mutation-based fault localization

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

    Dr Mike PAPADAKIS