2007 |
9 | EE | Keehang Kwon,
JaeWoo Kim,
Jang-Wu Jo:
An Internet Query Language based on Intuitionistic Linear Logic.
SERA 2007: 98-100 |
2005 |
8 | | Jang-Wu Jo,
Keehang Kwon:
Experiments on Mutual Dependence between Class Analysis and Exception Analysis.
Software Engineering Research and Practice 2005: 529-533 |
2004 |
7 | EE | Jang-Wu Jo,
Byeong-Mo Chang:
Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow.
ICCSA (1) 2004: 106-113 |
6 | EE | Jang-Wu Jo,
Byeong-Mo Chang,
Kwangkeun Yi,
Kwang-Moo Choe:
An uncaught exception analysis for Java.
Journal of Systems and Software 72(1): 59-69 (2004) |
2003 |
5 | | Taegyun Kim,
Jang-Wu Jo:
An UML Case Tool with Compound Document Support.
Software Engineering Research and Practice 2003: 274-278 |
2002 |
4 | EE | Byeong-Mo Chang,
Jang-Wu Jo,
Soon Hee Her:
Visualization of Exception Propagation for Java Using Static Analysis.
SCAM 2002: 173- |
2001 |
3 | | Byeong-Mo Chang,
Jang-Wu Jo:
Estimating Exception-Induced Control Flow for Java.
APLAS 2001: 377-387 |
2 | | Byeong-Mo Chang,
Jang-Wu Jo:
Granularity of Constraint-Based Analysis for Java.
PPDP 2001: 94-102 |
1 | EE | Byeong-Mo Chang,
Jang-Wu Jo,
Kwangkeun Yi,
Kwang-Moo Choe:
Interprocedural exception analysis for Java.
SAC 2001: 620-625 |