 | 2012 |
|---|
| 5 |       | Xianghua Deng,
Jooyong Lee,
Robby:
Efficient and formal generalized symbolic execution.
Autom. Softw. Eng. 19(3): 233-301 (2012) |
| 2010 |
|---|
| 4 | | Youil Kim,
Jooyong Lee,
Hwansoo Han,
Kwang-Moo Choe:
Filtering false alarms of buffer overflow analysis using SMT solvers.
Information & Software Technology 52(2): 210-219 (2010) |
| 3 | | Patrice Chalin,
Robby,
Perry R. James,
Jooyong Lee,
George Karabotsos:
Towards an industrial grade IVE for Java and next generation research platform for JML.
STTT 12(6): 429-446 (2010) |
| 2007 |
|---|
| 2 | | Jooyong Lee:
Dynamic Reverse Code Generation for Backward Execution.
Electr. Notes Theor. Comput. Sci. 174(4): 37-54 (2007) |
| 2006 |
|---|
| 1 | | Xianghua Deng,
Jooyong Lee,
Robby:
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.
ASE 2006: 157-166 |
Data released under the ODC-BY 1.0 license — See also our legal information page