A. Neto, R. Subramanyan, M. Vieira, und G. Travassos. WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies, Seite 31--36. New York, NY, USA, ACM, (2007)
T. Chen, S. Tang, P. Poon, und T. Tse. QSIC '05: Proceedings of the Fifth International Conference on Quality Software, Seite 55--63. Washington, DC, USA, IEEE Computer Society, (2005)
S. Edwards. Software Testing, Verification and Reliability, 10 (4):
249--262(Januar 2001)MR: Aus dem Text: Testing 'to contract' is at the heart of specification based testing. Es wird gezeigt wie ein Anzatz von Zweben1992 (der leider nicht auffindbar ist) sich praktisch umsetzen lässt. Dabei spielen die Contracts für die Generierung der Test(ein/aus)gabedaten grundlegende Rolle. Die getesteten Komponenten werden als Flowgraphs dargestellt, womit sie große Analogie zu Aktivitätsdiagrammen besitzen. Obwohl noch Probleme bei der Auswahl der Testdaten (infeasable paths) existieren, wurde gezeigt, dass dieser Ansatz großen Potential besitzt. Für das Experiment wurde Fehlerinjektionsmethoden angewendet (Mutation)..
H. Kayacik, A. Zincir-Heywood, und M. Heywood. IEEE Symposium on computational Intelligence in
Security and Defense Applications, Seite 153--160. Honolulu, IEEE Press, (April 2007)