Cover Image

Formal Methods Meets Readability: Auto-Documenting JML Java Code

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abad, Juan Carlos Recio, Saborido, Ruben, Chicano, Francisco
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming
by: Saborido, Rubén, et al.
Published: (2024)

Reassessing Java Code Readability Models with a Human-Centered Approach
by: Sergeyuk, Agnia, et al.
Published: (2024)

Automated LLM-Based Accessibility Remediation: From Conventional Websites to Angular Single-Page Applications
by: Fernández-Navarro, Carla, et al.
Published: (2026)

Personalized Code Readability Assessment: Are We There Yet?
by: Vitale, Antonio, et al.
Published: (2025)

Acknowledging Good Java Code with Code Perfumes
by: Straubinger, Philipp, et al.
Published: (2024)

Do AI Agents Really Improve Code Readability?
by: Horikawa, Kyogo, et al.
Published: (2026)

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants
by: Corso, Vincenzo, et al.
Published: (2024)

Human-Aligned Code Readability Assessment with Large Language Models
by: Ouédraogo, Wendkûuni C., et al.
Published: (2025)

Readability-Robust Code Summarization via Meta Curriculum Learning
by: Zeng, Wenhao, et al.
Published: (2026)

Investigating the Readability of Test Code: Combining Scientific and Practical Views
by: Winkler, Dietmar, et al.
Published: (2024)

Serializing Java Objects in Plain Code
by: Wachter, Julian, et al.
Published: (2024)

Personalization of Code Readability Evaluation Based on LLM Using Collaborative Filtering
by: Hiraki, Buntaro, et al.
Published: (2024)

Detection of Technical Debt in Java Source Code
by: Hai, Nam Le, et al.
Published: (2024)

Demystifying and Assessing Code Understandability in Java Decompilation
by: Qin, Ruixin, et al.
Published: (2024)

JMigBench: A Benchmark for Evaluating LLMs on Source Code Migration (Java 8 to Java 11)
by: Amin, Nishil, et al.
Published: (2026)

CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines
by: Ferrer, Javier, et al.
Published: (2024)

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
by: Zou, Yinglong, et al.
Published: (2024)

Readability and Understandability Scores for Snippet Assessment: an Exploratory Study
by: Dantas, Carlos Eduardo C., et al.
Published: (2021)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
by: Jåtten, Bjørnar Haugstad, et al.
Published: (2025)

jscefr: A Framework to Evaluate the Code Proficiency for JavaScript
by: Ragkhitwetsagul, Chaiyong, et al.
Published: (2024)

Assessing Consensus of Developers' Views on Code Readability
by: Sergeyuk, Agnia, et al.
Published: (2024)

Unmasking the Genuine Type Inference Capabilities of LLMs for Java Code Snippets
by: Dong, Yiwen, et al.
Published: (2025)

Generating Accurate OpenAPI Descriptions from Java Source Code
by: Lercher, Alexander, et al.
Published: (2024)

Automated Refactoring of Legacy JavaScript Code to ES6 Modules
by: Paltoglou, Katerina, et al.
Published: (2021)

Systematic Detection of Energy Regression and Corresponding Code Patterns in Java Projects
by: Bechet, François, et al.
Published: (2026)

MigrationBench: Repository-Level Code Migration Benchmark from Java 8
by: Liu, Linbo, et al.
Published: (2025)

An Empirical Study of Java Code Improvements Based on Stack Overflow Answer Edits
by: Wiratsin, In-on, et al.
Published: (2025)

From Restructuring to Stabilization: A Large-Scale Experiment on Iterative Code Readability Refactoring with Large Language Models
by: Peitek, Norman, et al.
Published: (2026)

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
by: Chen, Jingyi, et al.
Published: (2025)

The Readability Spectrum: Patterns, Issues, and Prompt Effects in LLM-Generated Code
by: Ye, Hengzhi, et al.
Published: (2026)

Quality Evaluation of COBOL to Java Code Transformation
by: Froimovich, Shmulik, et al.
Published: (2025)

Efficient anytime algorithms to solve the bi-objective Next Release Problem
by: Domínguez-Ríos, Miguel Ángel, et al.
Published: (2024)

Refactoring for Novices in Java: An Eye Tracking Study on the Extract vs. Inline Methods
by: da Costa, José Aldo Silva, et al.
Published: (2026)

Guided Debugging of Auto-Translated Code Using Differential Testing
by: Wu, Shengnan, et al.
Published: (2025)

Towards Bridging Formal Methods and Human Interpretability
by: Paul, Abhijit, et al.
Published: (2025)

Readability and Understandability of Snippets Recommended by General-purpose Web Search Engines: a Comparative Study
by: Dantas, Carlos Eduardo C., et al.
Published: (2021)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
by: Silva, André, et al.
Published: (2024)

Leveraging LLMs for Automated Translation of Legacy Code: A Case Study on PL/SQL to Java Transformation
by: Solovyeva, Lola, et al.
Published: (2025)

Do Comments and Expertise Still Matter? An Experiment on Programmers' Adoption of AI-Generated JavaScript Code
by: Li, Changwen, et al.
Published: (2025)

Deterministic vs. Probabilistic Summarisation: An Empirical Trade-off Study in Design Pattern Centric Java Code
by: Nazar, Najam, et al.
Published: (2026)