scholarly journals MODEL DRIVEN TESTING WITH TIME AUGMENTED MARKOV CHAIN USAGE MODELS - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models

2009 ◽  
Vol 9 (5) ◽  
pp. 56-59
Author(s):  
Gerhard Kiffe ◽  
Sebastian Siegl ◽  
Florian Prester ◽  
Martin Beisser ◽  
Martin Seel

2015 ◽  
Vol 109 ◽  
pp. 214-228 ◽  
Author(s):  
J.J. Gutiérrez ◽  
M.J. Escalona ◽  
M. Mejías

Sign in / Sign up

Export Citation Format

Share Document