Heui-Seok Seo Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeui-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)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeui-Seok Seo, Tadashi Araragi, Yong Rae Kwon: Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops 2004: 308-321
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeui-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

Coauthor Index

1Tadashi Araragi [2]
2In Sang Chung [1] [3]
3Byeong Man Kim [1]
4Yong Rae Kwon [1] [2] [3]

Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)