All Stories

  1. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

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

    Dr Mike PAPADAKIS

  2. Test Optimization in DNN Testing: A Survey

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

    Dr Mike PAPADAKIS

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

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

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

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

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

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

    Dr Mike PAPADAKIS

  7. iBiR : Bug Report driven Fault Injection

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

    Dr Mike PAPADAKIS

  8. GraphCode2Vec

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

    Dr Mike PAPADAKIS

  9. FlakiMe

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

    Dr Mike PAPADAKIS

  10. Improving machine translation systems via isotopic replacement

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

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

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

  14. Test Selection for Deep Learning Systems

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

    Dr Mike PAPADAKIS

  15. Killing Stubborn Mutants with Symbolic Execution

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  17. Muteria

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

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

  20. Ukwikora: continuous inspection for keyword-driven testing

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

    Dr Mike PAPADAKIS

  21. Semantic fuzzing with zest

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

  23. Are mutants really natural?

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

    Dr Mike PAPADAKIS

  24. Time to clean your test objectives

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

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

  25. Are mutation scores correlated with real fault detection?

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

    Dr Mike PAPADAKIS

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

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

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

    Dr Mike PAPADAKIS

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

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

    Dr Mike PAPADAKIS

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

  30. Metallaxis-FL: mutation-based fault localization

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

    Dr Mike PAPADAKIS