-
1
-
-
33847212751
-
Stursberg: Verification of plc programs given as sequential function charts
-
Springer, LNCS
-
Bauer, N., Engell, S., Huuck, R., Lukoschus, B., and Sturs-berg, O. (2004). Stursberg: Verification of plc programs given as sequential function charts. In In: Integration of Software Specification Techniques for Applications in Eng., Springer, LNCS, 517-540.
-
(2004)
Integration of Software Specification Techniques for Applications in Eng
, pp. 517-540
-
-
Bauer, N.1
Engell, S.2
Huuck, R.3
Lukoschus, B.4
Sturs-Berg, O.5
-
3
-
-
0035176047
-
Automated generation of statistical test cases from UML state diagrams
-
2001. COMPSAC 2001. 25th Annual International doi:10.1109/CMPSAC.2001. 960618
-
Chevalley, P. and Thevenod-Fosse, P. (2001). Automated generation of statistical test cases from UML state diagrams. In Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International, 205-214. doi:10.1109/CMPSAC.2001.960618.
-
(2001)
Computer Software and Applications Conference
, pp. 205-214
-
-
Chevalley, P.1
Thevenod-Fosse, P.2
-
4
-
-
79958747872
-
Conformance testing from message sequence charts
-
Dan, H. and Hierons, R. (2011). Conformance testing from message sequence charts. In ICST, 279-288.
-
(2011)
ICST
, pp. 279-288
-
-
Dan, H.1
Hierons, R.2
-
7
-
-
84857403534
-
Test case generation approach for industrial automation systems
-
ICARA, IEEE, New Zealand, IEEE
-
Hametner, R., Kormann, B., Vogel-Heuser, B., Winkler, D., and Zoitl, A. (2011). Test case generation approach for industrial automation systems. In The 5th International Conference on Automation, Robotics and Applications, 6. ICARA, IEEE, New Zealand, IEEE.
-
(2011)
The 5th International Conference on Automation, Robotics and Applications
, vol.6
-
-
Hametner, R.1
Kormann, B.2
Vogel-Heuser, B.3
Winkler, D.4
Zoitl, A.5
-
8
-
-
78650563023
-
Selecting uml models for test-driven development along the automation systems engineering process
-
Hametner, R., Winkler, D., Östreicher, T., Surnic, N., and Biffl, S. (2010). Selecting uml models for test-driven development along the automation systems engineering process. In Proceedings IEEE Emerging Technologies and Factory Automation (ETFA 2010).
-
(2010)
Proceedings IEEE Emerging Technologies and Factory Automation (ETFA 2010)
-
-
Hametner, R.1
Winkler, D.2
Östreicher, T.3
Surnic, N.4
Biffl, S.5
-
10
-
-
33751283602
-
-
IEC 61499-1 International Electrical Commission, Geneva
-
IEC 61499-1 (2005). Function blocks - Part 1: Architecture. International Electrical Commission, Geneva.
-
(2005)
Function Blocks - Part 1: Architecture
-
-
-
11
-
-
0033170385
-
Test cases generation from uml state diagrams
-
Kim, Y., Hong, H., Cho, S., Bae, D., and Cha, S. (1999). Test cases generation from uml state diagrams. In IEEE Proceedings: Software, volume 146, 187-192.
-
(1999)
IEEE Proceedings: Software
, vol.146
, pp. 187-192
-
-
Kim, Y.1
Hong, H.2
Cho, S.3
Bae, D.4
Cha, S.5
-
13
-
-
80655143646
-
Engineering process for an online testing process of control software in production systems
-
Kormann, B., Vogel-Heuser, B., Hametner, R., and Zoitl, A. (2011). Engineering process for an online testing process of control software in production systems. In Proceedings of Work-in-Progress Papers of Emerging Technologies and Factories and Factory Automation (ETFA).
-
(2011)
Proceedings of Work-in-progress Papers of Emerging Technologies and Factories and Factory Automation (ETFA)
-
-
Kormann, B.1
Vogel-Heuser, B.2
Hametner, R.3
Zoitl, A.4
-
14
-
-
0035964981
-
Proving sequential function chart programs using timed automata
-
doi:10.1016/S0304-3975(00)00301-7
-
L'Her, D., Le Parc, P., and Marcé, L. (2001). Proving sequential function chart programs using timed automata. Theor. Comput. Sci., 267, 141-155. doi:10.1016/S0304-3975(00)00301-7.
-
(2001)
Theor. Comput. Sci.
, vol.267
, pp. 141-155
-
-
L'Her, D.1
Le Parc, P.2
Marcé, L.3
-
15
-
-
77958172496
-
Test sequence generation from communicating uml state charts: An industrial application of symbolic transition systems
-
QSIC '10 IEEE Computer Society, Washington, DC, USA
-
Schwarzl, C. and Peischl, B. (2010). Test sequence generation from communicating uml state charts: An industrial application of symbolic transition systems. In Proceedings of the 2010 10th International Conference on Quality Software, QSIC '10, 122-131. IEEE Computer Society, Washington, DC, USA.
-
(2010)
Proceedings of the 2010 10th International Conference on Quality Software
, pp. 122-131
-
-
Schwarzl, C.1
Peischl, B.2
-
18
-
-
70549090130
-
Ttcn-3 based conformance testing of mobile broadcast business management system in 3g networks
-
TESTCOM '09/FATES '09 Springer-Verlag, Berlin, Heidelberg
-
Wang, Z., Yin, X., Xiang, Y., Zhu, R., Gao, S., Wu, X., Liu, S., Gao, S., Zhou, L., and Li, P. (2009). Ttcn-3 based conformance testing of mobile broadcast business management system in 3g networks. In Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, TESTCOM '09/FATES '09, 163-178. Springer-Verlag, Berlin, Heidelberg.
-
(2009)
Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
, pp. 163-178
-
-
Wang, Z.1
Yin, X.2
Xiang, Y.3
Zhu, R.4
Gao, S.5
Wu, X.6
Liu, S.7
Gao, S.8
Zhou, L.9
Li, P.10
-
20
-
-
78650582058
-
A framework for automated testing of automation systems
-
Winkler, D., Hametner, R., Östreicher, T., and Biffl, S. (2010). A framework for automated testing of automation systems. IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 1-4.
-
(2010)
IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
, pp. 1-4
-
-
Winkler, D.1
Hametner, R.2
Östreicher, T.3
Biffl, S.4
-
23
-
-
85057633239
-
Plc-statecharts: An approach to integrate uml-statecharts in open-loop control engineering - Aspects on behavioral semantics and model-checking
-
Witsch, D. and Vogel-Heuser, B. (2011). Plc-statecharts: An approach to integrate uml-statecharts in open-loop control engineering - aspects on behavioral semantics and model-checking. Proceedings of 18th IFAC World Congress, 8.
-
(2011)
Proceedings of 18th IFAC World Congress
, vol.8
-
-
Witsch, D.1
Vogel-Heuser, B.2
|