Testing of Software and Communicating Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540685142, 9783540685241

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure Protection

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_10 ◽

2008 ◽

pp. 119-134

Author(s):

Guoqiang Shu ◽

Dongluo Chen ◽

Zhijun Liu ◽

Na Li ◽

Lifeng Sang ◽

...

Keyword(s):

Cyber Security ◽

Security Testing ◽

Network Infrastructure ◽

Infrastructure Protection

Download Full-text

Model-Based Firewall Conformance Testing

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_9 ◽

2008 ◽

pp. 103-118 ◽

Cited By ~ 15

Author(s):

Achim D. Brucker ◽

Lukas Brügger ◽

Burkhart Wolff

Keyword(s):

Conformance Testing ◽

Model Based

Download Full-text

Model-Based Testing Service on the Web

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_5 ◽

2008 ◽

pp. 38-53 ◽

Cited By ~ 10

Author(s):

Antti Jääskeläinen ◽

Mika Katara ◽

Antti Kervinen ◽

Henri Heiskanen ◽

Mika Maunumaa ◽

...

Keyword(s):

Testing Service ◽

Model Based ◽

Model Based Testing ◽

The Web

Download Full-text

Performance Test Design Process and Its Implementation Patterns for Multi-services Systems

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_11 ◽

2008 ◽

pp. 135-152 ◽

Cited By ~ 3

Author(s):

George Din ◽

Ina Schieferdecker ◽

Razvan Petre

Keyword(s):

Design Process ◽

Performance Test ◽

Test Design

Download Full-text

Test Purpose Concretization through Symbolic Action Refinement

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_14 ◽

2008 ◽

pp. 184-199 ◽

Cited By ~ 7

Author(s):

Alain Faivre ◽

Christophe Gaston ◽

Pascale Le Gall ◽

Assia Touil

Keyword(s):

Symbolic Action ◽

Action Refinement

Download Full-text

Model-Based Generation of Testbeds for Web Services

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_19 ◽

2008 ◽

pp. 266-282 ◽

Cited By ~ 32

Author(s):

Antonia Bertolino ◽

Guglielmo De Angelis ◽

Lars Frantzen ◽

Andrea Polini

Keyword(s):

Web Services ◽

Model Based

Download Full-text

All-IP Based Ultra 3G Network/Service Development in a Competitive Market

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_1 ◽

2008 ◽

pp. 1-4

Author(s):

Yutaka Yasuda

Keyword(s):

Competitive Market ◽

Service Development ◽

Network Service ◽

3G Network

Download Full-text

Modular System Verification by Inference, Testing and Reachability Analysis

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_16 ◽

2008 ◽

pp. 216-233 ◽

Cited By ~ 18

Author(s):

Roland Groz ◽

Keqin Li ◽

Alexandre Petrenko ◽

Muzammil Shahbaz

Keyword(s):

Reachability Analysis ◽

Modular System ◽

System Verification

Download Full-text

Models and Testing – A Recipe for Improved Effectiveness?

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_2 ◽

2008 ◽

pp. 5-6

Author(s):

Paul Baker

Download Full-text

Implementation Relations for the Distributed Test Architecture

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68524-1_15 ◽

2008 ◽

pp. 200-215 ◽

Cited By ~ 25

Author(s):

Robert M. Hierons ◽

Mercedes G. Merayo ◽

Manuel Núñez

Keyword(s):

Distributed Test ◽

Test Architecture

Download Full-text

Testing of Software and Communicating Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure Protection

Model-Based Firewall Conformance Testing

Model-Based Testing Service on the Web

Performance Test Design Process and Its Implementation Patterns for Multi-services Systems

Test Purpose Concretization through Symbolic Action Refinement

Model-Based Generation of Testbeds for Web Services

All-IP Based Ultra 3G Network/Service Development in a Competitive Market

Modular System Verification by Inference, Testing and Reachability Analysis

Models and Testing – A Recipe for Improved Effectiveness?

Implementation Relations for the Distributed Test Architecture

Testing of Software and Communicating Systems - Lecture Notes in Computer Science
Latest Publications