Formal Approaches to Software Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540344544, 9783540344551
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Testing Through a GUI

2006 ◽  
pp. 16-31 ◽  
Author(s):  
Antti Kervinen ◽  
Mika Maunumaa ◽  
Tuula Pääkkönen ◽  
Mika Katara
Keyword(s):  
Model Based ◽  
Model Based Testing

A Novel Test Coverage Metric for Concurrently-Accessed Software Components

2006 ◽  
pp. 62-71 ◽  
Author(s):  
Serdar Tasiran ◽  
Tayfun Elmas ◽  
Guven Bolukbasi ◽  
M. Erkan Keremoglu
Keyword(s):  
Software Components ◽  
Test Coverage

Play to Test

2006 ◽  
pp. 32-46 ◽  
Author(s):  
Andreas Blass ◽  
Yuri Gurevich ◽  
Lev Nachmanson ◽  
Margus Veanes

Calculating Probabilities of Real-Time Test Cases

2006 ◽  
pp. 134-151 ◽  
Author(s):  
Marcin Jurdziński ◽  
Doron Peled ◽  
Hongyang Qu
Keyword(s):  
Real Time ◽  
Test Cases ◽  
Time Test
Load More ...
Sign in / Sign up

Export Citation Format

Share Document