| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Sungwon Kang Kyounghee Lee , Myungchul Kim , Sungwon Kang, Jonghyun Lee : Selective Establishment of Pseudo Reservations for QoS Guarantees in Mobile Internet. Mobile Data Management 2004 : 243- Soonuk Seol , Myungchul Kim , Sungwon Kang, Jiwon Ryu : Fully automated interoperability test suite derivation for communication protocols. Computer Networks 43 (6): 735-759 (2003) Myungchul Kim , Sangjo Yoo , Jinhee Park , Sungwon Kang, Soon J. Hyun , Hyuckjae Lee : A dynamic protocol conformance test method. Journal of Systems and Software 67 (1): 31-43 (2003) Insuk Park , Soon J. Hyun , Sungwon Kang, Dongman Lee : An XML-based Active Rule Support for Fast Reconfiguration of Business Processes. ISDB 2002 : 234-239 Myungchul Kim , Byoungmoon Chin , Sungwon Kang, Danhyung Lee : Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21 st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea Kluwer 2001 Jiwon Ryu , Myungchul Kim , Sungwon Kang, Soonuk Seol : Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques. TestCom 2000 : 127-142 Sungwon Kang, Jaehwi Shin , Myungchul Kim : Interoperability test suite derivation for communication protocols. Computer Networks 32 (3): 347-364 (2000) Myungchul Kim , Jaehwi Shin , Samuel T. Chanson , Sungwon Kang: An enhanced model for testing asynchronous communicating systems. FORTE 1999 : 337-356 Soonuk Seol , Myungchul Kim , Sungwon Kang, Yongbum Park , Younghan Choe : Interoperability Test Suite Derivation for the TCP. FORTE 1999 : 357-376 Yongbum Park , Myungchul Kim , Sungwon Kang: Conformance Testing of Multiprotocol IUTs. IWTCS 1999 : 267-286 Sungwon Kang, Youngsoo Seo , Deukyoon Kang , Mijeong Hong , Junhwan Yang , Ilkook Koh , Joehwi Shin , Sangjo Yoo , Myungchul Kim : Development and Application of ATM Protocol Conformance Test System. IWTCS 1999 : 331-346 Deukyoon Kang , Sungwon Kang, Myungchul Kim , Sangjo Yoo : A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. FORTE 1997 : 267-282 1 [ 5 ] 2 [ 8 ] 3 [ 4 ] 4 [ 2 ] 5 [ 9 ] [ 10 ] 6 [ 1 ] [ 2 ] 7 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 10 ] [ 11 ] [ 12 ] 8 [ 2 ] 9 [ 8 ] 10 [ 9 ] 11 [ 10 ] 12 [ 12 ] 13 [ 12 ] 14 [ 9 ] 15 [ 10 ] 16 [ 3 ] [ 4 ] 17 [ 7 ] [ 11 ] 18 [ 2 ] 19 [ 4 ] [ 7 ] [ 11 ] 20 [ 5 ] [ 6 ] 21 [ 2 ] 22 [ 2 ] 23 [ 1 ] [ 2 ] [ 10 ]  ©2005 Association for Computing Machinery |
