Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models.
Haoxin TuZhide ZhouHe JiangImam Nur Bani YusufYuxian LiLingxiao JiangPublished in: IEEE Trans. Software Eng. (2024)
Keyphrases
- language model
- language modeling
- probabilistic model
- retrieval model
- language modelling
- document retrieval
- query expansion
- speech recognition
- n gram
- information retrieval
- statistical language models
- test collection
- vector space model
- document ranking
- translation model
- language model for information retrieval
- smoothing methods
- collaborative filtering