S. Tan, D. Marinov, L. Tan, and G. Leavens. Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on, page 260-269. (April 2012)
M. Smucker, J. Allan, and B. Carterette. CIKM '07: Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, page 623--632. New York, NY, USA, ACM, (2007)
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..
D. Saff, and M. Ernst. ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, page 76--85. New York, NY, USA, ACM, (2004)