| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... / Programming and Software Engineering) | 978-3-540-49699-1 | 2006 | Klaus Havelund · Manuel Núnez · Grigore Rosu |
| Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings | 978-3-642-24579-4 | 2011 | Fatiha Zaidi |
| Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings | 978-3-642-21767-8 | 2011 | Martin Gogolla |
| Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings | 978-3-319-92993-4 | 2018 | Catherine Dubois |
| Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings | 978-3-540-40664-8 | 2008 | David Basin |