Claudionor N. Coelho Jr.

According to our database, Claudionor N. Coelho Jr. authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification.

Yiannis Charalambous, Claudionor N. Coelho Jr., Luís C. Lamb, Lucas C. Cordeiro

CoRR, October, 2025

Do LLMs Dream of Discrete Algorithms?

Claudionor N. Coelho Jr., Yanen Li, Philip Tee

CoRR, June, 2025

2024

Effort and Size Estimation in Software Projects with Large Language Model-based Intelligent Interfaces.

Claudionor N. Coelho Jr., Hanchen Xiong, Tushar Karayil, Sree Koratala, Rex Shang, Jacob Bollinger, Mohamed Shabar, Syam Nair

CoRR, 2024

2021

Enabling Incremental Training with Forward Pass for Edge Devices.

Dana AbdulQader, Shoba Krishnan, Claudionor N. Coelho Jr.

CoRR, 2021