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

Documenti analoghi

• Automated Repair of AI Code with Large Language Models and Formal Verification
  di: Charalambous, Yiannis, et al.
  Pubblicazione: (2024)
• ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
  di: Pirzada, Muhammad A. A., et al.
  Pubblicazione: (2026)
• A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
  di: Tihanyi, Norbert, et al.
  Pubblicazione: (2023)
• Supporting Software Formal Verification with Large Language Models: An Experimental Study
  di: Wang, Weiqi, et al.
  Pubblicazione: (2025)
• ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
  di: Dantas, Pierre, et al.
  Pubblicazione: (2026)