activity
20232026
most citedA New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

30 citations · 30 across the 6 of their papers we have counts for

collaborators
Showing 2025 · cs.SEShow all

1 paper · 2 filters

cs.SE2025

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

Yiannis Charalambous, Claudionor N. Coelho, Luis Lamb +1

This paper introduces UnitTenX, a state-of-the-art open-source AI multi-agent system designed to generate unit tests for legacy code, enhancing test coverage and critical value tes…