Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.
Cheng WenJialun CaoJie SuZhiwu XuShengchao QinMengda HeHaokun LiShing-Chi CheungCong TianPublished in: CoRR (2024)
Keyphrases
- static analysis
- language model
- dynamic analysis
- language modeling
- abstract interpretation
- source code
- n gram
- symbolic execution
- probabilistic model
- speech recognition
- language modelling
- query expansion
- retrieval model
- document retrieval
- test collection
- information retrieval
- test case generation
- statistical language models
- smoothing methods
- language models for information retrieval
- test suite
- pseudo relevance feedback
- regular expressions
- context sensitive
- high level
- document ranking
- vector space model
- statistical language modeling
- database systems