S. Edwards. Software Testing, Verification and Reliability, 10 (4):
249--262(января 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)..
J. Koza, S. Al-Sakran, L. Jones, и G. Manassero. GECCO '07: Proceedings of the 9th annual conference on
Genetic and evolutionary computation, 2, стр. 2074--2081. London, ACM Press, (7-11 July 2007)
J. Koza, S. Al-Sakran, и L. Jones. Genetic Programming Theory and Practice IV, том 5 из Genetic and Evolutionary Computation, глава 4, Springer, Ann Arbor, (11-13 May 2006)
J. Koza, S. Al-Sakran, и L. Jones. GECCO 2005: Proceedings of the 2005 conference on
Genetic and evolutionary computation, 2, стр. 1953--1960. Washington DC, USA, ACM Press, (25-29 June 2005)
L. Jones, S. Al-Sakran, и J. Koza. Genetic Programming Theory and Practice III, том 9 из Genetic Programming, глава 3, Springer, Ann Arbor, (12-14 May 2005)
L. Jones, S. Al-Sakran, и J. Koza. GECCO 2006: Proceedings of the 8th annual conference
on Genetic and evolutionary computation, 1, стр. 823--830. Seattle, Washington, USA, ACM Press, (8-12 July 2006)
J. Andrews, R. Fu, и V. Liu. ASE '02: Proceedings of the 17th IEEE international conference on Automated software engineering, стр. 275. Washington, DC, USA, IEEE Computer Society, (2002)ST: Nachtrag zum Paper "Testing using Log File Analysis: Tools, Methods, and Issues". Die dort vorgestellte Technik wird dahingehend erweitert, dass der Grad der Abdeckung der Transitionen des Orakels durch die Testfaelle gemessen werden kann. Außerdem können Testfaelle auf Basis des Orakels abgeleitet werden (Ist dass sinnvoll?) und das Testorakel kann automatisch validiert werden..