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]
Abstract is missing.