Testing of Software and Communicating Systems : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings - Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp ((Lecture Notes in Computer Science))