Heui-Seok Seo

According to our database, Heui-Seok Seo authored at least 3 papers between 2001 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

2004

Modeling and Testing Agent Systems Based on Statecharts.

Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

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