Large Language Models (LLMs) for Verification, Testing, and Design

@inproceedings{pub15877,
    author = {

Jha, Chandan
 and 

Hassan, Muhammad
 and 

Qayyum, Khushboo
 and 

Ahmadi-Pour, Sallar
 and 

Xu, Ruidi Qiu Kangwei
 and 

Blocklove, Jason
 and 

Collini, Luca
 and 

Nakkab, Andre
 and 

Schlichtmann, Ulf
 and 

Zhang, Yalin
 and 

Karri, Ramesh
 and 

Li, Bing
 and 

Garg, Siddharth
 and 

Drechsler, Rolf
},
    title = {Large Language Models (LLMs) for Verification, Testing, and Design},
    booktitle = {30th IEEE European Test Symposium. IEEE European Test Symposium (ETS-2025), May 26-30, Tallinn, Estonia},
    year = {2025},
    publisher = {IEEE}
}