Compositional Random Testing Using Extended Symbolic Transition Systems

Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa. Compositional Random Testing Using Extended Symbolic Transition Systems. In Burkhart Wolff, Fatiha Zaïdi, editors, Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Volume 7019 of Lecture Notes in Computer Science, pages 179-194, Springer, 2011. [doi]

Authors

Christian Schwarzl

This author has not been identified. Look up 'Christian Schwarzl' in Google

Bernhard K. Aichernig

This author has not been identified. Look up 'Bernhard K. Aichernig' in Google

Franz Wotawa

This author has not been identified. Look up 'Franz Wotawa' in Google