Interoperability Test Suite Derivation for Symmetric Communication Protocols

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_4 ◽

1997 ◽

pp. 57-72 ◽

Cited By ~ 13

Author(s):

Sungwon Kang ◽

Myungchul Kim

Keyword(s):

Communication Protocols ◽

Test Suite ◽

Interoperability Test

Download Full-text

Interoperability test suite derivation for communication protocols

Computer Networks ◽

10.1016/s1389-1286(00)00005-0 ◽

2000 ◽

Vol 32 (3) ◽

pp. 347-364 ◽

Cited By ~ 20

Author(s):

Sungwon Kang ◽

Jaehwi Shin ◽

Myungchul Kim

Keyword(s):

Communication Protocols ◽

Test Suite ◽

Interoperability Test

Download Full-text

Fully automated interoperability test suite derivation for communication protocols

Computer Networks ◽

10.1016/s1389-1286(03)00316-5 ◽

2003 ◽

Vol 43 (6) ◽

pp. 735-759 ◽

Cited By ~ 17

Author(s):

Soonuk Seol ◽

Myungchul Kim ◽

Sungwon Kang ◽

Jiwon Ryu

Keyword(s):

Communication Protocols ◽

Test Suite ◽

Interoperability Test

Download Full-text

Pragmatic method for interoperability test suite derivation

Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204) ◽

10.1109/eurmic.1998.708110 ◽

2002 ◽

Cited By ~ 1

Author(s):

M. Malek ◽

S. Dibuz

Keyword(s):

Test Suite ◽

Interoperability Test

Download Full-text

Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques

IFIP Advances in Information and Communication Technology - Testing of Communicating Systems ◽

10.1007/978-0-387-35516-0_8 ◽

2000 ◽

pp. 127-142 ◽

Cited By ~ 6

Author(s):

Jiwon Ryu ◽

Myungchul Kim ◽

Sungwon Kang ◽

Soonuk Seol

Keyword(s):

Experimental Design ◽

Test Suite ◽

Interoperability Test ◽

Test Suite Generation ◽

Design Techniques

Download Full-text

Verification by abstraction as a preamble for interoperability test suite generation

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_10 ◽

1995 ◽

pp. 152-166 ◽

Cited By ~ 1

Author(s):

Pierre de Saqui-Sannes ◽

Jean-Pierre Courtiat ◽

René Casadessus

Keyword(s):

Test Suite ◽

Interoperability Test ◽

Test Suite Generation

Download Full-text

Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol

Testing of Communicating Systems ◽

10.1007/978-0-387-35381-4_19 ◽

1998 ◽

pp. 313-330 ◽

Cited By ~ 7

Author(s):

Jaehwi Shin ◽

Sungwon Kang

Keyword(s):

Test Suite ◽

Signaling Protocol ◽

Interoperability Test

Download Full-text

Interoperability Test Generation for Communication Protocols Based on Multiple Stimuli Principle

IFIP Advances in Information and Communication Technology - Testing of Communicating Systems XIV ◽

10.1007/978-0-387-35497-2_11 ◽

2002 ◽

pp. 151-168 ◽

Cited By ~ 4

Author(s):

Soonuk Seol ◽

Myungchul Kim ◽

Samuel T. Chanson

Keyword(s):

Test Generation ◽

Communication Protocols ◽

Interoperability Test

Download Full-text

Interoperability Test Generation and Minimization for Communication Protocols Based on the Multiple Stimuli Principle

IEEE Journal on Selected Areas in Communications ◽

10.1109/jsac.2004.836015 ◽

2004 ◽

Vol 22 (10) ◽

pp. 2062-2074 ◽

Cited By ~ 11

Author(s):

S. Seol ◽

M. Kim ◽

S.T. Chanson ◽

S. Kang

Keyword(s):

Test Generation ◽

Communication Protocols ◽

Interoperability Test

Download Full-text

Interoperability Test Suite Derivation for the TCP

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_20 ◽

1999 ◽

pp. 357-376 ◽

Cited By ~ 1

Author(s):

Soonuk Seol ◽

Myungchul Kim ◽

Sungwon Kang ◽

Yongbum Park ◽

Younghan Choe

Keyword(s):

Test Suite ◽

Interoperability Test

Download Full-text

A test suite conversion method: from interoperability test to conformance test

Periodica Polytechnica Electrical Engineering ◽

10.3311/pp.ee.2007-1-2.02 ◽

2007 ◽

Vol 51 (1-2) ◽

pp. 11 ◽

Cited By ~ 1

Author(s):

Sarolta Dibuz ◽

Péter Krémer

Keyword(s):

Test Suite ◽

Conformance Test ◽

Conversion Method ◽

Interoperability Test

Download Full-text