Publication | Closed Access
InferFix: End-to-End Program Repair with LLMs
138
Citations
22
References
2023
Year
Unknown Venue
Software MaintenanceProgram CheckingEngineeringSoftware EngineeringSoftware AnalysisFormal VerificationAutomated Software EngineeringEmpirical Software Engineering ResearchSystems EngineeringSoftware AspectSoftware Development CostEnd-to-end Program RepairRuntime VerificationEventual Resolution AccountComputer ScienceSoftware DefectsAutomated RepairSoftware DesignSoftware EvolutionSoftware DevelopmentProgram AnalysisSoftware TestingFormal Methods
Software development life cycle is profoundly influenced by bugs; their introduction, identification, and eventual resolution account for a significant portion of software development cost. This has motivated software engineering researchers and practitioners to propose different approaches for automating the identification and repair of software defects.
| Year | Citations | |
|---|---|---|
Page 1
Page 1