M. Akbarzadeh-T., E. Tunstel, K. Kumbla, and M. Jamshidi. Proceedings of the 1998 IEEE World Congress on
Computational Intelligence, 2, page 1200--1205. Anchorage, Alaska, USA, IEEE Press, (5-9 May 1998)
A. Homaifar, D. Battle, and E. Tunstel. Computational Intelligence in Robotics and Automation,
CIRA '99. Proceedings. 1999 IEEE International
Symposium on, page 35--40. (8-9 November 1999)
S. Edwards. Software Testing, Verification and Reliability, 10 (4):
249--262(January 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)..
P. Berkhin, J. Beche, and D. Randall. Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining, page 414--419. ACM, (2001)