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. 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

Abstract is missing.