Model Driven Testing with Time Augmented Markov Chain Usage Models - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models.

Sebastian Siegl Vladimir Entin Reinhard German Gerhard Kiffe Model Driven Testing with Time Augmented Markov Chain Usage Models - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models. 202-207 2009 ICSOFT (1) conf/icsoft/2009-1 db/conf/icsoft/icsoft2009-1.html#SieglEGK09