A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
Yiannis CharalambousNorbert TihanyiRidhi JainYoucheng SunMohamed Amine FerragLucas C. CordeiroPublished in: CoRR (2023)
Keyphrases
- language model
- formal verification
- language modeling
- model checking
- software systems
- program slicing
- document retrieval
- n gram
- probabilistic model
- model checker
- bounded model checking
- retrieval model
- language modelling
- information retrieval
- symbolic model checking
- query expansion
- statistical language models
- automated verification
- speech recognition
- language models for information retrieval
- smoothing methods
- context sensitive
- test collection
- document ranking
- software development
- vector space model
- ad hoc information retrieval
- software architecture
- term dependencies
- formal methods
- retrieval effectiveness
- query terms
- language model for information retrieval
- relevance model
- document length
- pseudo relevance feedback
- text retrieval
- statistical language modeling
- text classification