Author:
Klikovits Stefan,Lawrence David P. Y.,Gonzalez-Berges Manuel,Buchs Didier
Publisher
Springer International Publishing
Reference15 articles.
1. Bernot, G., Gaudel, M., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991). http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=120426
2. CERN: The JCOP Framework, August 2014. https://j2eeps.cern.ch/wikis/display/EN/JCOP+Framework
3. Csallner, C., Tillmann, N., Smaragdakis, Y.: DySy: dynamic symbolic execution for invariant inference. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 281–290. ACM, New York (2008). http://doi.acm.org/10.1145/1368088.1368127
4. ETM Professional Control: WinCC OA at a glance. Siemens AG (2012)
5. ETM Professional Control: Control script language (2015). http://etm.at/index_e.asp?id=2&sb1=54&sb2=118&sb3=&sname=&sid=&seite_id=118