Artifact for the paper "Large Language Model Powered Symbolic Execution" - Version reviewed by Artifact Evaluation Committee
收藏官方服务：
资源简介：
The version of the artifact reviewed by AEC, including AutoBug's dataset, executable, and results. Original kick-the-tires documentation is also included.
提供机构：
Zenodo创建时间：
2025-09-27
