P. Carpenter. Ada Lett., XIX (3):
23--29(1999)ST: Vorgehensweise: Das Paper ordnet den Vorgang, wie man sicherheitskritische Anforderungen verifizieren kann, in einen Software Life-Cycle ein. Use-Cases werden mit Parametern für Daten versehen. Die Eingabedaten werden mit Hilfe eines Tools generiert per üblicher Ä-Klassenanalyse.
Eignung: Es ist nichts über die Testgüte zu finden (Abdeckungskriterium etc.). Außerdem wird kein Testmodell o.ä. erwähnt, welches alternative Ausführungspfade des Use Cases repräsentiert..
A. Shaikh, R. Clarisó, U. Wiil, and N. Memon. Proceedings of the IEEE/ACM international conference on Automated software engineering, page 185--194. New York, NY, USA, ACM, (2010)
L. Wu, M. Li, Z. Li, W. Ma, and N. Yu. MIR '07: Proceedings of the international workshop on Workshop on multimedia information retrieval, page 115--124. New York, NY, USA, ACM, (2007)
I. Cadez, D. Heckerman, C. Meek, P. Smyth, and S. White. Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, page 280--284. ACM, (2000)
J. Hausmann, and S. Kent. SoftVis '03: Proceedings of the 2003 ACM symposium on Software visualization, page 169--178. New York, NY, USA, ACM Press, (2003)
J. Hausmann, and S. Kent. SoftVis '03: Proceedings of the 2003 ACM symposium on Software visualization, page 169--178. New York, NY, USA, ACM Press, (2003)
A. Monreale, F. Pinelli, R. Trasarti, and F. Giannotti. Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining, page 637-646. ACM, (2009)
P. Xia, S. Wu, and B. Van Durme. Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), page 7516--7533. Association for Computational Linguistics, (November 2020)
R. von Behren, J. Condit, and E. Brewer. Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9, page 4. Berkeley, CA, USA, USENIX Association, (2003)
A. Garc\'ıa Frey, G. Calvary, and S. Dupuy-Chessa. Proceedings of the 2Nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, page 41--46. New York, NY, USA, ACM, (2010)