A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback.
Ummay KulsumHaotian ZhuBowen XuMarcelo d'AmorimPublished in: AIware (2024)
Keyphrases
- semi automated
- knowledge base
- fully automated
- image patches
- case study
- reasoning process
- automated analysis
- test bed
- user feedback
- model based diagnosis
- human operators
- relevance feedback
- qualitative reasoning
- consistent query answering
- security vulnerabilities
- model based reasoning
- analogical reasoning
- feedback loop
- reasoning systems
- automated reasoning
- learning algorithm
- risk assessment
- knowledge representation