A state alteration and inspection-based interactive debugger.

Yan Wang, Min Feng, Rajiv Gupta, Iulian Neamtiu

Browse the full SCAM paper archive.