Alexandre Petrenko Margus Veanes Jan Tretmans Wolfgang Grieskamp Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings TestCom/FATES Lecture Notes in Computer Science 4581 Springer 2007 978-3-540-73065-1 db/conf/pts/testcom2007.html