S. Zhang, and S. Goddard. International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005, 2, page 443-- 448 Vol. 2. IEEE, (April 2005)
D. Kim. GECCO 2006: Proceedings of the 8th annual conference
on Genetic and evolutionary computation, 1, page 151--158. Seattle, Washington, USA, ACM Press, (8-12 July 2006)
C. Frey, and G. Leugering. Proceedings of the Genetic and Evolutionary
Computation Conference (GECCO-2001), page 27--33. San Francisco, California, USA, Morgan Kaufmann, (7-11 July 2001)
D. Peters, and D. Parnas. IEEE Transactions on Software Engineering, 24 (3):
161--173(1998)ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab.
Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind.
Die formale Spezifikation erscheint in den Beispielen sehr aufwendig..