In Sang Chung

According to our database, In Sang Chung authored at least 14 papers between 1993 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Generating Test Sequences from Statecharts for Concurrent Program Testing.

Heui-Seok Seo, In Sang Chung, Yong Rae Kwon

IEICE Trans. Inf. Syst., 2006

2001

Specification-based program slicing and its applications.

Wan Kwon Lee, In Sang Chung, Gwang Sik Yoon, Yong Rae Kwon

J. Syst. Archit., 2001

Program slicing based on specification.

In Sang Chung, Wan Kwon Lee, Gwang Sik Yoon, Yong Rae Kwon

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.

Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Specifying and verifying real-time systems with timing uncertainty.

Hyun Seop Bae, In Sang Chung, Yong Rae Kwon

J. Syst. Softw., 2000

A New Approach to Deterministic Execution Testing for Concurrent Programs.

In Sang Chung, Byeong Man Kim, Hyeon Soo Kim

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Testing of Concurrent Programs Based on Message Sequence Charts.

In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Testing of Concurrent Programs After Specification Changes.

In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Dong Gil Lee

Proceedings of the 1999 International Conference on Software Maintenance, 1999

1996

Applying Conventional Testing Techniques for Class Testing.

In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon

Proceedings of the COMPSAC '96, 1996

1994

A semantics-based method for revalidating modified programs.

In Sang Chung, Yong Rae Kwon

J. Softw. Maintenance Res. Pract., 1994

An approach to partitioning programs on the functional basis and applications.

In Sang Chung, Yong Rae Kwon

Microprocess. Microprogramming, 1994

Restructuring Programs through Program Slicing.

Hyeon Soo Kim, Yong Rae Kwon, In Sang Chung

Int. J. Softw. Eng. Knowl. Eng., 1994

Analysis and enactment of a distributed software process model: the AttNet model.

Woo Jin Lee, In Sang Chung, Yong Rae Kwon

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1993

Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics.

Shin Cha, In Sang Chung, Yong Rae Kwon

Inf. Process. Lett., 1993