1
Testing of Software and Communicating Systems [E-Book] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
2
Formal Approaches to Software Testing (vol. # 3997) [E-Book] / 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
3
Integrated Formal Methods [E-Book] : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /