| |
| 2007 | ||
|---|---|---|
| 3 | EE | Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): (2007) |
| 2 | EE | Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han: A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Transactions 90-D(10): 1663-1671 (2007) |
| 2003 | ||
| 1 | EE | Sunae Seo, Hongseok Yang, Kwangkeun Yi: Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245 |
| 1 | Taisook Han | [2] [3] |
| 2 | Hyun-Goo Kang | [2] |
| 3 | Youil Kim | [2] |
| 4 | Hongseok Yang | [1] [3] |
| 5 | Kwangkeun Yi | [1] [3] |