T. Shaked, K. Bar-Sinai, and A. Sprecher. 25th International Conference on Computer-Aided Architectural Design Research in Asia: RE: Anthropocene - Design in the Age of Humans, CAADRIA 2020, Bangkok, Thailand, (2020)
J. Koza, S. Al-Sakran, L. Jones, and G. Manassero. GECCO '07: Proceedings of the 9th annual conference on
Genetic and evolutionary computation, 2, page 2074--2081. London, ACM Press, (7-11 July 2007)
J. Koza, S. Al-Sakran, and L. Jones. Genetic Programming Theory and Practice IV, volume 5 of Genetic and Evolutionary Computation, chapter 4, Springer, Ann Arbor, (11-13 May 2006)
J. Koza, S. Al-Sakran, and L. Jones. GECCO 2005: Proceedings of the 2005 conference on
Genetic and evolutionary computation, 2, page 1953--1960. Washington DC, USA, ACM Press, (25-29 June 2005)
J. Koza, L. Jones, M. Keane, and M. Streeter. Genetic Programming Theory and Practice II, chapter 8, Springer, Ann Arbor, pages missing?.(13-15 May 2004)
L. Jones, S. Al-Sakran, and J. Koza. Genetic Programming Theory and Practice III, volume 9 of Genetic Programming, chapter 3, Springer, Ann Arbor, (12-14 May 2005)
L. Jones, S. Al-Sakran, and J. Koza. GECCO 2006: Proceedings of the 8th annual conference
on Genetic and evolutionary computation, 1, page 823--830. Seattle, Washington, USA, ACM Press, (8-12 July 2006)
L. Tan, O. Sokolsky, and I. Lee. IRI, page 493--498. IEEE Systems, Man, and Cybernetics Society, (2004)ST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch eine Testsuite macht. Durch ein Abdeckungskriterium wird eine Testsuite mit endlichen Testfaellen definiert, die die spezifizierten Eigenschaften testet..