[Lecture Notes in Computer Science] Test
β
Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang
π
Article
π
2007
π
Springer Berlin Heidelberg
π
English
β 413 KB
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in t