Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models.
Chang LiuXiwei WuYuan FengQinxiang CaoJunchi YanPublished in: CoRR (2023)
Keyphrases
- language model
- symbolic execution
- language modeling
- n gram
- document retrieval
- probabilistic model
- statistical language models
- speech recognition
- language modelling
- information retrieval
- language models for information retrieval
- smoothing methods
- context sensitive
- test collection
- query expansion
- retrieval model
- document ranking
- query terms
- test data generation
- statistical language modeling
- genetic programming