Verifier Warnings Do Not Improve Comprehensibility Prediction
Nadeeshan De Silva, Martin Kellogg, Oscar Chaparro
Proceedings of the 30th ACM International Conference on Evaluation and Assessment in Software Engineering (EASE'26)
Reproducibility and Negative Results Track, pp. (to appear), 2026
