![]() | ![]() |
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] |