@inproceedings{d70f70bf39d14ce9b75d8214ea59bda6,
title = "Compositional Random Testing Using Extended Symbolic Transition Systems",
author = "Christian Schwarzl and Bernhard Aichernig and Franz Wotawa",
note = "IFIP WG 6.1 I; International Conference on Testing Software and Systems : ICTSS 2011 ; Conference date: 07-11-2011 Through 10-11-2011",
year = "2011",
doi = "10.1007/978-3-642-24580-0_13",
language = "English",
volume = "7019",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "179--194",
editor = "Burkhart Wolff and Fatiha Za{\"i}di",
booktitle = "Testing Software and Systems",
address = "Germany",
}