Yiannis Charalambous

According to our database, Yiannis Charalambous authored at least 7 papers between 2023 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

GeCoIn 2025: UnitTenX: Generating Tests For Legacy Packages with AI Agents Powered by Formal Verification.

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

Dataset, August, 2025

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2025

2024

Automated Repair of AI Code with Large Language Models and Formal Verification.

Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2024

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches.

Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas

CoRR, 2024

2023

Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro

Dataset, June, 2023

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.

Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro

CoRR, 2023