| |
| 2007 | ||
|---|---|---|
| 2 | EE | Jooyong Lee: Dynamic Reverse Code Generation for Backward Execution. Electr. Notes Theor. Comput. Sci. 174(4): 37-54 (2007) |
| 2006 | ||
| 1 | EE | Xianghua Deng, Jooyong Lee, Robby: Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE 2006: 157-166 |
| 1 | Xianghua Deng | [1] |
| 2 | Robby | [1] |