2 papers
cs.SE2026
Multi-objective Integer Linear Programming approach for Automatic Software Cognitive Complexity Reduction
Adriana Novoa-Hurtado, Rubén Saborido, Francisco Chicano +1
Clear and concise code is necessary to ensure maintainability, so it is crucial that the software is as simple as possible to understand, to avoid bugs and, above all, vulnerabilit…
cs.SE2025
Formal Methods Meets Readability: Auto-Documenting JML Java Code
Juan Carlos Recio Abad, Ruben Saborido, Francisco Chicano
This paper investigates whether formal specifications using Java Modeling Language (JML) can enhance the quality of Large Language Model (LLM)-generated Javadocs. While LLMs excel…