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

Browse the full ICSoft paper archive.