2 papers
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…
cs.AI2023
Ontology for Healthcare Artificial Intelligence Privacy in Brazil
Tiago Andres Vaz, José Miguel Silva Dora, Luís da Cunha Lamb +1
This article details the creation of a novel domain ontology at the intersection of epidemiology, medicine, statistics, and computer science. Using the terminology defined by curre…