 | 2001 |
|---|
| 4 |       | Gwang Sik Yoon,
Yong Rae Kwon:
Extending MSC for Reactive Systems.
HCC 2001: 104- |
| 3 | | In Sang Chung,
Wan Kwon Lee,
Gwang Sik Yoon,
Yong Rae Kwon:
Program slicing based on specification.
SAC 2001: 605-609 |
| 2 | | Wan Kwon Lee,
In Sang Chung,
Gwang Sik Yoon,
Yong Rae Kwon:
Specification-based program slicing and its applications.
Journal of Systems Architecture 47(5): 427-443 (2001) |
| 1997 |
|---|
| 1 | | Gwang Sik Yoon,
Sung Deok Cha,
Yong Rae Kwon,
Chan Hyung Yoo:
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.
APSEC 1997: 272- |
