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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642050305, 9783642050312
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Interaction Coverage Meets Path Coverage by SMT Constraint Solving

2009 ◽  
pp. 97-112 ◽  
Author(s):  
Wolfgang Grieskamp ◽  
Xiao Qu ◽  
Xiangjun Wei ◽  
Nicolas Kicillof ◽  
Myra B. Cohen
Keyword(s):  
Constraint Solving ◽  
Path Coverage

scholarly journals Testing Real-Time Systems Using TINA

2009 ◽  
pp. 1-15 ◽  
Author(s):  
Noureddine Adjir ◽  
Pierre De Saqui-Sannes ◽  
Kamel Mustapha Rahmouni
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models

2009 ◽  
pp. 179-194 ◽  
Author(s):  
Sebastian Wieczorek ◽  
Vitaly Kozyura ◽  
Andreas Roth ◽  
Michael Leuschel ◽  
Jens Bendisposto ◽  
...  
Keyword(s):  
Model Checking ◽  
Model Based ◽  
Generate Model

scholarly journals Debugging into Examples

2009 ◽  
pp. 235-240 ◽  
Author(s):  
Bastian Steinert ◽  
Michael Perscheid ◽  
Martin Beck ◽  
Jens Lincke ◽  
Robert Hirschfeld
Load More ...
Sign in / Sign up

Export Citation Format

Share Document