M. Moshref, A. Bhargava, A. Gupta, M. Yu, and R. Govindan. Proceedings of the Third Workshop on Hot Topics in Software Defined
Networking, page 61--66. New York, NY, USA, ACM, (2014)
F. Botelho, F. Ramos, D. Kreutz, and A. Bessani. Proceedings of the 2013 Second European Workshop on Software Defined
Networks, page 38--43. Washington, DC, USA, IEEE Computer Society, (2013)
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..
T. Alspaugh, D. Richardson, and T. Standish. 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'05), page 1--5. St. Louis, MI, (May 2005)