2 papers
cs.SE2026
Verifier Warnings Do Not Improve Comprehensibility Prediction
Nadeeshan De Silva, Martin Kellogg, Oscar Chaparro
Proponents of software verification suggest that code simplicity is linked to the effort to verify code, hypothesizing that formal verifiers produce fewer false positive warnings a…
cs.SE2025
LadyBug: A GitHub Bot for UI-Enhanced Bug Localization in Mobile Apps
Junayed Mahmud, James Chen, Terry Achille +8
This paper introduces LadyBug, a GitHub bot that automatically localizes bugs for Android apps by combining UI interaction information with text retrieval. LadyBug connects to an A…