Artifact for the paper "Large Language Model Powered Symbolic Execution"
收藏官方服务：
资源简介：
The final version of the artifact, including AutoBug's dataset, executable, results, and documentation bundled in a Docker image. The specific version of the Docker image included is accessible here. It is created by docker save, and can be imported by docker load.
提供机构：
Zenodo创建时间：
2025-09-27
