CRI: Symbolic Debugger for MCAPI Applications
- Citation:
- Elwakil, M., Z. Yang, and L. Wang,
"CRI: Symbolic Debugger for MCAPI Applications",
ATVA 2010: The 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Singapore, 2010.
Date Presented:
2010
