SMT Solver Validation Empowered by Large Pre-Trained Language Models

SMT solvers are utilized to check the satisfiability of logic formulas and have been applied in various crucial domains, including software verification, test case generation, and program synthesis. However, bugs hidden in SMT solvers can lead to severe consequences, causing erroneous results in the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 1288 - 1300
Hauptverfasser:	Sun, Maolin, Yang, Yibiao, Wang, Yang, Wen, Ming, Jia, Haoxiang, Zhou, Yuming
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 11.09.2023
Schlagworte:	Adaptation models Computer bugs Data augmentation Data models Fuzzing large language model Pipelines retrain-finetune SMT solver Software
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!