View of AGENTIC ARTIFICIAL INTELLIGENCE FOR AUTONOMOUS SOFTWARE ENGINEERING: INTEGRATING CODE REASONING, FORMAL VERIFICATION, AUTOMATED TESTING, AND REPOSITORY-LEVEL PROGRAM EVOLUTION

Return to Issue Details AGENTIC ARTIFICIAL INTELLIGENCE FOR AUTONOMOUS SOFTWARE ENGINEERING: INTEGRATING CODE REASONING, FORMAL VERIFICATION, AUTOMATED TESTING, AND REPOSITORY-LEVEL PROGRAM EVOLUTION Download Download PDF