E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.
Yu HaoWeiteng ChenZiqiao ZhouWeidong CuiPublished in: CoRR (2023)
Keyphrases
- language model
- static analysis
- symbolic execution
- language modeling
- java card
- dynamic analysis
- test generation
- n gram
- source code
- document retrieval
- probabilistic model
- speech recognition
- information retrieval
- language modelling
- query expansion
- retrieval model
- test collection
- smoothing methods
- statistical language models
- context sensitive
- language models for information retrieval
- document ranking
- open source
- test data generation
- information retrieval systems
- case study
- vector space model
- ad hoc information retrieval
- regular expressions
- language model for information retrieval
- relevance model
- query language
- test suite
- database