In Sang Chung

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