| 2006 |
|---|
| 9 | EE | Heui-Seok Seo,
In Sang Chung,
Yong Rae Kwon:
Generating Test Sequences from Statecharts for Concurrent Program Testing.
IEICE Transactions 89-D(4): 1459-1469 (2006) |
| 2001 |
|---|
| 8 | EE | 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: 221-228 |
| 7 | EE | In Sang Chung,
W. K. Lee,
Gwang Sik Yoon,
Yong Rae Kwon:
Program slicing based on specification.
SAC 2001: 605-609 |
| 2000 |
|---|
| 6 | | 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: E59-E66 |
| 5 | EE | Hyun Seop Bae,
In Sang Chung,
Yong Rae Kwon:
Specifying and verifying real-time systems with timing uncertainty.
Journal of Systems and Software 50(1): 85-96 (2000) |
| 1999 |
|---|
| 4 | EE | In Sang Chung,
Hyeon Soo Kim,
Hyun Seop Bae,
Yong Rae Kwon,
Dong Gil Lee:
Testing of Concurrent Programs After Specification Changes.
ICSM 1999: 199- |
| 3 | EE | 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: 72-82 |
| 1996 |
|---|
| 2 | EE | In Sang Chung,
Malcolm Munro,
W. K. Lee,
Yong Rae Kwon:
Applying Conventional Testing Techniques for Class Testing.
COMPSAC 1996: 447-454 |
| 1993 |
|---|
| 1 | | Shin Cha,
In Sang Chung,
Yong Rae Kwon:
Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics.
Inf. Process. Lett. 46(1): 43-50 (1993) |
