|
Search the dblp DataBase
In Sang Chung:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] APSEC, 2001, pp:221-228 [Conf]
- In Sang Chung, Malcolm Munro, W. K. Lee, Yong Rae Kwon
Applying Conventional Testing Techniques for Class Testing. [Citation Graph (0, 0)][DBLP] COMPSAC, 1996, pp:447-454 [Conf]
- In Sang Chung, Byeong Man Kim, Hyeon Soo Kim
A New Approach to Deterministic Execution Testing for Concurrent Programs. [Citation Graph (0, 0)][DBLP] ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
- In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee
Testing of Concurrent Programs After Specification Changes. [Citation Graph (0, 0)][DBLP] ICSM, 1999, pp:199-0 [Conf]
- In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee
Testing of Concurrent Programs Based on Message Sequence Charts. [Citation Graph (0, 0)][DBLP] PDSE, 1999, pp:72-82 [Conf]
- In Sang Chung, W. K. Lee, Gwang Sik Yoon, Yong Rae Kwon
Program slicing based on specification. [Citation Graph (0, 0)][DBLP] SAC, 2001, pp:605-609 [Conf]
- Shin Cha, In Sang Chung, Yong Rae Kwon
Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1993, v:46, n:1, pp:43-50 [Journal]
- Hyun Seop Bae, In Sang Chung, Yong Rae Kwon
Specifying and verifying real-time systems with timing uncertainty. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 2000, v:50, n:1, pp:85-96 [Journal]
Search in 0.003secs, Finished in 0.004secs
|