Author

Mike Papadakis

h-index 44 View on Semantic Scholar

We have 3 of 203 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Preprint Sep 2026

How effective are traditional test criteria at detecting bugs in large language models generated code?

An empirical study involving 5 Large Language Models and 4 benchmarks evaluates the effectiveness and efficiency of 3 widely used adequacy criteria: statement coverage, branch coverage, and mutation testing, finding that mutation testing only marginally outperforms traditional coverage criteria in both triggering and detecting faults.

Asma Hamidi, Michael Konstantinou, R. Degiovanni et al. · 0 citations

Aug 2026

TrajectoryTest: A Trajectory-Specific Test Input Prioritization Technique and Empirical Evaluation

A comprehensive empirical study is conducted that confirms the limitations of MLPrior in trajectory prediction scenarios and demonstrates that TrajectoryTest outperforms all existing test input prioritization techniques, including the state-of-the-art approach MLPrior, multiple confidence-based methods, and the baseline random selection.

Xueqi Dang, Yinghua Li, Wendkûuni C. Ouédraogo et al. · ACM Transactions on Software... · 0 citations

#artificial intelligence Preprint Aug 2026

Stay Within Your Bounds: Distance-Guided Decoding for Guaranteed Context-Free Grammar Compliance

This work proposes a lookahead-guided decoding framework for context-free grammars based on pushdown automata based on bounded pushdown summaries with reachability labels and upper-bound distances to acceptance.

Vincenzo Collura, Karim Tit, Eleonora Giunchiglia et al. · 0 citations