3 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…
cs.NE2025
Generate more than one child in your co-evolutionary semi-supervised learning GAN
Francisco Sedeño, Jamal Toutouh, Francisco Chicano
Generative Adversarial Networks (GANs) are very useful methods to address semi-supervised learning (SSL) datasets, thanks to their ability to generate samples similar to real data.…