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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475710168, 9780387355160

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Testing of Communicating Systems

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

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

2017 ◽

pp. E1-E1

Author(s):

Hasan Ural ◽

Robert L. Probert ◽

Gregor v. Bochmann

Download Full-text

Interoperability Testing System of TCP/IP Based Communication Systems in Operational Environment

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

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

2000 ◽

pp. 143-157 ◽

Cited By ~ 2

Author(s):

Toshihiko Kato ◽

Tomohiko Ogishi ◽

Hiroyuki Shinbo ◽

Yutaka Miyake ◽

Akira Idoue ◽

...

Keyword(s):

Communication Systems ◽

Testing System ◽

Operational Environment ◽

Interoperability Testing

Download Full-text

Structural Coverage for Lotos

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

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

2000 ◽

pp. 19-34 ◽

Cited By ~ 2

Author(s):

Daniel Amyot ◽

Luigi Logrippo

Keyword(s):

Structural Coverage

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

Test Generation in the Presence of Conflicting Timers

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

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

2000 ◽

pp. 301-320 ◽

Cited By ~ 12

Author(s):

Mariusz A. Fecko ◽

Paul D. Amer ◽

M. Ümit Uyar ◽

Ali Y. Duale

Keyword(s):

Test Generation

Download Full-text

Verification and Testing of Concurrent Systems with Action Races

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

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

2000 ◽

pp. 261-280 ◽

Cited By ~ 3

Author(s):

Alex Petrenko ◽

Andreas Ulrich

Keyword(s):

Concurrent Systems

Download Full-text

Functional Testing GPRS Support Nodes Using TTCN

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

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

2000 ◽

pp. 229-237

Author(s):

Endre Horváth ◽

Axel Manthey

Keyword(s):

Functional Testing

Download Full-text

Formal Test Automation: The Conference Protocol with Phact

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

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

2000 ◽

pp. 211-220 ◽

Cited By ~ 7

Author(s):

Lex Heerink ◽

Jan Feenstra ◽

Jan Tretmans

Keyword(s):

Test Automation ◽

Formal Test

Download Full-text

On the Design of the New Testing Language TTCN-3

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

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

2000 ◽

pp. 161-176 ◽

Cited By ~ 14

Author(s):

Jens Grabowski ◽

Anthony Wiles ◽

Colin Willcock ◽

Dieter Hogrefe

Download Full-text

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

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

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

2000 ◽

pp. 35-56 ◽

Cited By ~ 1

Author(s):

Ana Cavalli ◽

Svetlana Prokopenko ◽

Nina Yevtushenko

Keyword(s):

Fault Detection ◽

Test Suite ◽

Detection Power

Download Full-text

IFIP Advances in Information and Communication Technology - Testing of Communicating SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Erratum to: Testing of Communicating Systems

Interoperability Testing System of TCP/IP Based Communication Systems in Operational Environment

Structural Coverage for Lotos

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

Test Generation in the Presence of Conflicting Timers

Verification and Testing of Concurrent Systems with Action Races

Functional Testing GPRS Support Nodes Using TTCN

Formal Test Automation: The Conference Protocol with Phact

On the Design of the New Testing Language TTCN-3

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

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