발행물
컨퍼런스
International Conference on Software Engineering: Research and Practice
2003
,
An UML CASE Tool with Compound Document Support
IEEE
2002
Visualization of Exception Propagation for Java using Static Analysis
한국정보과학회
Java의 예외제어흐름을 포한한 제어흐름 그래프 생성
IASTED
Abstract Program Slicings
KAIST
2001
Estimating Exception-Induced Control Flow for Java