2 papers
cs.SE2024
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Norbert Tihanyi, Ridhi Jain, Yiannis Charalambous +3
This paper introduces an innovative approach that combines Large Language Models (LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially,…
cs.SE2024
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat +1
Bounded model checking (BMC) and fuzzing techniques are among the most effective methods for detecting errors and security vulnerabilities in software. However, there are still sho…