Seung-Uk Oh

Framework for third party testing of component software

Yong Rae Kwon, Doo-Hwan Bae, Yu-Seung Ma, 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.

Design of an Automated Testing Tool to Detect Dynamic Memory Access Errors in C Programs

Hyeon-Soo Kim, Dae-Wan Cho, Seung-Uk Oh, 2007 .

An automated memory error detection technique using source code analysis in C programs

Hyeon-Soo Kim, Dae-Wan Cho, Seung-Uk Oh, 2007 .

Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증

오승욱, Seung-Uk Oh, 1998 .