Cita APA (7a ed.)

Xu, Y., Zhang, C., & pu, g. (2026). Artefact for Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution. Zenodo.

Cita Chicago Style (17a ed.)

Xu, Yihua, Chengyu Zhang, y geguang pu. Artefact for Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution. Zenodo, 2026.

Cita MLA (9a ed.)

Xu, Yihua, et al. Artefact for Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution. Zenodo, 2026.