Showing 2026Show all
2 papers · 1 filter
cs.SE2026
On the Reliability of Code Comprehension Proxies
Erfan Arvan, Nadeeshan De Silva, Oscar Chaparro +1
Prior work on code comprehension uses different comprehension proxies---for example, Likert-scale ratings or answers to input-output questions about program snippets, usually colle…
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…