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

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642165726, 9783642165733
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Alternating Simulation and IOCO

2010 ◽  
pp. 47-62 ◽  
Author(s):  
Margus Veanes ◽  
Nikolaj Bjørner

scholarly journals From Scenarios to Test Implementations Via Promela

2010 ◽  
pp. 236-249 ◽  
Author(s):  
Andreas Ulrich ◽  
El-Hachemi Alikacem ◽  
Hesham H. Hallal ◽  
Sergiy Boroday

scholarly journals Increasing Functional Coverage by Inductive Testing: A Case Study

2010 ◽  
pp. 126-141 ◽  
Author(s):  
Neil Walkinshaw ◽  
Kirill Bogdanov ◽  
John Derrick ◽  
Javier Paris
Keyword(s):  
Functional Coverage

scholarly journals Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases

2010 ◽  
pp. 250-265 ◽  
Author(s):  
Romain Delamare ◽  
Freddy Munoz ◽  
Benoit Baudry ◽  
Yves Le Traon
Keyword(s):  
Impact Analysis ◽  
Test Cases ◽  
Aspect Weaving

scholarly journals Efficient Distributed Test Architectures for Large-Scale Systems

2010 ◽  
pp. 174-187 ◽  
Author(s):  
Eduardo Cunha de Almeida ◽  
Jõao Eugenio Marynowski ◽  
Gerson Sunyé ◽  
Yves Le Traon ◽  
Patrick Valduriez
Keyword(s):  
Large Scale ◽  
Large Scale Systems ◽  
Distributed Test
Load More ...
Sign in / Sign up

Export Citation Format

Share Document