CRI: Symbolic Debugger for MCAPI Applications.

Mohamed Elwakil, Zijiang Yang, Liqiang Wang

Browse the full ATVA paper archive.