Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs-Reference-Cited by-同舟云学术

Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs

Published:2023-05 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
language:
Short-container-title:

Author:

Sun Maolin¹,Yang Yibiao²,Wen Ming¹,Wang Yongcong¹,Zhou Yuming²,Jin Hai³

Affiliation:

1. School of Cyber Science and Engineering, Huazhong University of Science and Technology,China

2. Nanjing University,State Key Laboratory for Novel Software Technology,China

3. School of Computer Science and Technology, Huazhong University of Science and Technology,China

Publisher

IEEE

Link

Reference56 articles.

3. A survey of compiler testing;chen;ACM Comput Surv,2020

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. SMT Solver Validation Empowered by Large Pre-Trained Language Models;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11