Eine neue Jugend wächst heran - die «Digital Natives». Diese Webgeneration schickt sich an, unser Leben umzukrempeln. Was sie anders macht und wieso viele sie nicht verstehen.
A. Goens, A. Brauckmann, S. Ertel, C. Cummins, H. Leather, und J. Castrillon. Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, Seite 38–46. New York, NY, USA, Association for Computing Machinery, (2019)
S. Kavaldjian. ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, Seite 603--606. New York, NY, USA, ACM, (2007)
C. Ullrich, T. Lu, und E. Melis. Learning in the Synergy of Multiple Disciplines, Proceedings of the EC-TEL 2009, Volume 5794 von Lecture Notes in Computer Science, Berlin/Heidelberg, Springer, (Oktober 2009)
E. Uzuncaova, D. Garcia, S. Khurshid, und D. Batory. ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, Seite 525--528. New York, NY, USA, ACM, (2007)ST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL)
Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, dass die Spezifikation gilt.
Fazit: Keine explizite Ableitung von Testdaten, die Spezifikation muss formal vorliegen.
MR: Anhand von formalen Alloy-Spezifikationen von Invarianten und Constraints kann der Alloy Analyzer (SAT solver) automatisch alle passenden Testdaten generieren.
Nachteile: Die erwarteten Ergebnisse werden nicht betrachtet (oder?). Die Spezifikation wird als Annotationen in den Code eingebracht (hier als moderner Ansatz angesehen ähnlich JML). An der Wiederverwendung wird erst gearbeitet..
S. Luke, und L. Panait. Proceedings of the Genetic and Evolutionary
Computation Conference (GECCO-2001), Seite 81--88. San Francisco, California, USA, Morgan Kaufmann, (7-11 July 2001)
J. Edvardsson. (1999)ST: In diesem Paper wird ein Überblick gegeben wie Testdaten automatisch generiert werden können. An einem Beispiel wird die Vorgehensweise erläutert, wie Testdaten autoamtisch abgeleitet werden können; es eignet sich gut um die Grundlagen zu verstehen. Es werden weiterhin unterschiede zwischen zielorientierter, zufälliger, und pfadorientierter Testdatenableitung aufgezeigt..
S. Trewin, G. Zimmermann, und G. Vanderheiden. CUU '03: Proceedings of the 2003 Conference on Universal Usability, Vancouver, Canada, Seite 77-84. (2003)
S. Bongartz, Y. Jin, F. Paternò, J. Rett, C. Santoro, und L. Spano. Ambient Intelligence: Third International Joint Conference, AmI 2012, Pisa, Italy, Volume 7683 von Lecture Notes in Computer Science, Springer, Heidelberg, (2012)
A. Bogoni, W. Xiaoxia, I. Fazal, und A. Willner. Optical Fiber Communication - incudes post deadline papers, 2009.
OFC 2009. Conference on, Seite 1-3--. (2009)
O. Roulet-Dubonnet, und P. Ystgaard. Holonic and Multi-Agent Systems for Manufacturing: 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, Volume 6867 von Lecture Notes in Artificial Intelligence, Springer, Heidelberg, (2011)
A. Dabholkar, und A. Gokhale. ICDCS '09 Workshops: Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops, Montreal, Canada, Seite 73-79. (2009)