توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

(17602152), z. y. (2025). The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025).

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

(17602152), zixuan yuan. The Artifacts and Data for the Paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025). 2025.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

(17602152), zixuan yuan. The Artifacts and Data for the Paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025). 2025.