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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475767056, 9780387354972

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Testing of Communicating Systems XIV

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

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

2017 ◽

pp. E1-E1

Author(s):

Ina Schieferdecker ◽

Hartmut König ◽

Adam Wolisz

Download Full-text

Compliance of Wireless Application Protocols

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

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

2002 ◽

pp. 129-138

Author(s):

Ousmane Koné

Keyword(s):

Wireless Application ◽

Application Protocols

Download Full-text

Experiences of TTCN-3 Test Executor Development

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

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

2002 ◽

pp. 191-200 ◽

Cited By ~ 3

Author(s):

János Zoltán Szabó

Download Full-text

Fault Detection within a Component of a System of Communicating FSMs

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

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

2002 ◽

pp. 317-332 ◽

Cited By ~ 1

Author(s):

Ana Cavalli ◽

Svetlana Prokopenko ◽

Nina Yevtushenko

Keyword(s):

Fault Detection

Download Full-text

Ad-Hoc Protocol Modelling, Validation and Automated Test Suite Generation

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

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

2002 ◽

pp. 235-245

Author(s):

Endre Horváth

Keyword(s):

Ad Hoc ◽

Test Suite ◽

Automated Test ◽

Test Suite Generation ◽

Ad Hoc Protocol

Download Full-text

Formulation of the Interaction Test Coverage Problem as an Integer Program

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

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

2002 ◽

pp. 283-298 ◽

Cited By ~ 18

Author(s):

Alan W. Williams ◽

Robert L. Probert

Keyword(s):

Integer Program ◽

Test Coverage ◽

Coverage Problem ◽

Interaction Test

Download Full-text

TimedTTCN-3 — A Real-Time Extension for TTCN-3

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

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

2002 ◽

pp. 407-424 ◽

Cited By ~ 16

Author(s):

Zhen Ru Dai ◽

Jens Grabowski ◽

Helmut Neukirchen

Keyword(s):

Real Time ◽

Time Extension

Download Full-text

Testing Access to External Information Sources in a Mediator Environment

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

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

2002 ◽

pp. 111-126

Author(s):

Zoltán Ádám Mann ◽

Jacques Calmet ◽

Peter Kullmann

Keyword(s):

Information Sources ◽

External Information

Download Full-text

Automated Generation of Interoperability Tests

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

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

2002 ◽

pp. 169-184 ◽

Cited By ~ 4

Author(s):

Cédric Besse ◽

Ana Cavalli ◽

Myungchul Kim ◽

Fatiha Zadi

Keyword(s):

Automated Generation

Download Full-text

Principles of Distributed Test Synthesis Based on True-Concurrency Models

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

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

2002 ◽

pp. 301-316 ◽

Cited By ~ 5

Author(s):

Claude Jard

Keyword(s):

True Concurrency ◽

Test Synthesis ◽

Distributed Test

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Erratum to: Testing of Communicating Systems XIV

Compliance of Wireless Application Protocols

Experiences of TTCN-3 Test Executor Development

Fault Detection within a Component of a System of Communicating FSMs

Ad-Hoc Protocol Modelling, Validation and Automated Test Suite Generation

Formulation of the Interaction Test Coverage Problem as an Integer Program

TimedTTCN-3 — A Real-Time Extension for TTCN-3

Testing Access to External Information Sources in a Mediator Environment

Automated Generation of Interoperability Tests

Principles of Distributed Test Synthesis Based on True-Concurrency Models

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