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: CAV (2) (2024)
Keyphrases
- static analysis
- language model
- dynamic analysis
- language modeling
- abstract interpretation
- symbolic execution
- source code
- n gram
- document retrieval
- speech recognition
- information retrieval
- probabilistic model
- test collection
- language modelling
- query expansion
- regular expressions
- retrieval model
- statistical language models
- context sensitive
- test case generation
- high level
- document ranking
- vector space model
- relevance model
- smoothing methods
- database
- test suite
- translation model
- query specific
- keywords
- open source
- pseudo relevance feedback
- information extraction
- conceptual model