In Sang Chung

Publication Activity (10 Years)

Years Active: 1993-2006
Publications (10 Years): 0

Publications

Heui-Seok Seo, In Sang Chung, Yong Rae Kwon
Generating Test Sequences from Statecharts for Concurrent Program Testing. IEICE Trans. Inf. Syst. (4) (2006)
In Sang Chung, Wan Kwon Lee, Gwang Sik Yoon, Yong Rae Kwon
Program slicing based on specification. SAC (2001)
Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon
The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. APSEC (2001)
Wan Kwon Lee, In Sang Chung, Gwang Sik Yoon, Yong Rae Kwon
Specification-based program slicing and its applications. J. Syst. Archit. 47 (5) (2001)
Hyun Seop Bae, In Sang Chung, Yong Rae Kwon
Specifying and verifying real-time systems with timing uncertainty. J. Syst. Softw. 50 (1) (2000)
In Sang Chung, Byeong Man Kim, Hyeon Soo Kim
A New Approach to Deterministic Execution Testing for Concurrent Programs. ICDCS Workshop on Distributed System Validation and Verification (2000)
In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee
Testing of Concurrent Programs Based on Message Sequence Charts. PDSE (1999)
In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee
Testing of Concurrent Programs After Specification Changes. ICSM (1999)
In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon
Applying Conventional Testing Techniques for Class Testing. COMPSAC (1996)
In Sang Chung, Yong Rae Kwon
A semantics-based method for revalidating modified programs. J. Softw. Maintenance Res. Pract. 6 (1) (1994)
Woo Jin Lee, In Sang Chung, Yong Rae Kwon
Analysis and enactment of a distributed software process model: the AttNet model. APSEC (1994)
In Sang Chung, Yong Rae Kwon
An approach to partitioning programs on the functional basis and applications. Microprocess. Microprogramming 40 (5) (1994)
Hyeon Soo Kim, Yong Rae Kwon, In Sang Chung
Restructuring Programs through Program Slicing. Int. J. Softw. Eng. Knowl. Eng. 4 (3) (1994)
Shin Cha, In Sang Chung, Yong Rae Kwon
Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics. Inf. Process. Lett. 46 (1) (1993)