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

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540685142, 9783540685241
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Model-Based Firewall Conformance Testing

2008 ◽  
pp. 103-118 ◽  
Author(s):  
Achim D. Brucker ◽  
Lukas Brügger ◽  
Burkhart Wolff
Keyword(s):  
Conformance Testing ◽  
Model Based

scholarly journals Model-Based Testing Service on the Web

2008 ◽  
pp. 38-53 ◽  
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

scholarly journals Test Purpose Concretization through Symbolic Action Refinement

2008 ◽  
pp. 184-199 ◽  
Author(s):  
Alain Faivre ◽  
Christophe Gaston ◽  
Pascale Le Gall ◽  
Assia Touil
Keyword(s):  
Symbolic Action ◽  
Action Refinement

scholarly journals Model-Based Generation of Testbeds for Web Services

2008 ◽  
pp. 266-282 ◽  
Author(s):  
Antonia Bertolino ◽  
Guglielmo De Angelis ◽  
Lars Frantzen ◽  
Andrea Polini
Keyword(s):  
Web Services ◽  
Model Based

scholarly journals Modular System Verification by Inference, Testing and Reachability Analysis

2008 ◽  
pp. 216-233 ◽  
Author(s):  
Roland Groz ◽  
Keqin Li ◽  
Alexandre Petrenko ◽  
Muzammil Shahbaz
Keyword(s):  
Reachability Analysis ◽  
Modular System ◽  
System Verification

scholarly journals Implementation Relations for the Distributed Test Architecture

2008 ◽  
pp. 200-215 ◽  
Author(s):  
Robert M. Hierons ◽  
Mercedes G. Merayo ◽  
Manuel Núñez
Keyword(s):  
Distributed Test ◽  
Test Architecture
Load More ...
Sign in / Sign up

Export Citation Format

Share Document