@conference {9049,
	title = {CRI: Symbolic Debugger for MCAPI Applications},
	booktitle = {ATVA 2010: The 8th International Symposium on Automated Technology for Verification and Analysis (ATVA)},
	year = {2010},
	month = {2010},
	address = {Singapore},
	author = {M. Elwakil and Z. Yang and L. Wang}
}
