T. Erickson. Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques, page 357-368. New York, NY, ACM Press, (2000)
A. Bertolino. Abstract State Machines, page 1-21. (2003)MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art.
Für IST-SPL: Wertvoller Überblick über spezifikationsbasierte Testmethoden und kurz zum Testorakel-Problem..
B. Mitchell, and S. Mancoridis. Genetic and Evolutionary Computation -- GECCO-2003, volume 2724 of LNCS, page 2499--2510. Chicago, Springer-Verlag, (December 2003)