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. In Boris Shishkov, José Cordeiro, Alpesh Ranchordas, editors, ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009. pages 202-207, INSTICC Press, 2009.
Abstract is missing.