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...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 1288 - 1300
Hlavní autoři:	Sun, Maolin, Yang, Yibiao, Wang, Yang, Wen, Ming, Jia, Haoxiang, Zhou, Yuming
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 11.09.2023
Témata:	Adaptation models Computer bugs Data augmentation Data models Fuzzing large language model Pipelines retrain-finetune SMT solver Software
ISSN:	2643-1572
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!