T. Arons, A. Pnueli, S. Ruah, J. Xu, und L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, Seite 221--234. London, UK, Springer-Verlag, (2001)
J. Hu, X. Zhong, und E. Goodman. GECCO 2005: Proceedings of the 2005 conference on
Genetic and evolutionary computation, 2, Seite 1619--1626. Washington DC, USA, ACM Press, (25-29 June 2005)
K. Seo, E. Goodman, und R. Rosenberg. GECCO 2005: Proceedings of the 2005 conference on
Genetic and evolutionary computation, 2, Seite 2215--2216. Washington DC, USA, ACM Press, (25-29 June 2005)
J. Hu, R. Rosenberg, und E. Goodman. Genetic Programming Theory and Practice III, Volume 9 von Genetic Programming, Kapitel 18, Springer, Ann Arbor, (12-14 May 2005)
J. Andrews, R. Fu, und V. Liu. ASE '02: Proceedings of the 17th IEEE international conference on Automated software engineering, Seite 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..