Symbolic Model-Based Testing for Industrial Automation Software

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03077-7_6 ◽

2013 ◽

pp. 78-94 ◽

Cited By ~ 2

Author(s):

Sabrina von Styp ◽

Liyong Yu

Keyword(s):

Industrial Automation ◽

Symbolic Model ◽

Model Based ◽

Model Based Testing

Download Full-text

Symbolic Model Based Testing for Component Oriented Systems

Testing of Software and Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73066-8_7 ◽

2007 ◽

pp. 90-106 ◽

Cited By ~ 12

Author(s):

Alain Faivre ◽

Christophe Gaston ◽

Pascale Le Gall

Keyword(s):

Symbolic Model ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-Based Testing for Web Applications

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.01012 ◽

2011 ◽

Vol 34 (6) ◽

pp. 1012-1028 ◽

Cited By ~ 6

Author(s):

Huai-Kou MIAO ◽

Sheng-Bo CHEN ◽

Hong-Wei ZENG

Keyword(s):

Web Applications ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of software product lines: Mapping study and research roadmap

Journal of Systems and Software ◽

10.1016/j.jss.2020.110608 ◽

2020 ◽

Vol 167 ◽

pp. 110608

Author(s):

Kleber L. Petry ◽

Edson OliveiraJr ◽

Avelino F. Zorzo

Keyword(s):

Software Product Lines ◽

Mapping Study ◽

Product Lines ◽

Model Based ◽

Model Based Testing ◽

Software Product

Download Full-text

AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool

2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ◽

10.1109/saner50967.2021.00080 ◽

2021 ◽

Author(s):

Stefan Mohacsi ◽

Michael Felderer

Keyword(s):

Model Based ◽

Test Models ◽

Model Based Testing ◽

Testing Tool

Download Full-text

Multi-objective Search for Model-based Testing

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs51102.2020.00029 ◽

2020 ◽

Author(s):

Rui Wang ◽

Cyrille Artho ◽

Lars Michael Kristensen ◽

Volker Stolz

Keyword(s):

Multi Objective ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of end-user collaboration intensive systems

Proceedings of the Symposium on Applied Computing - SAC '17 ◽

10.1145/3019612.3019778 ◽

2017 ◽

Author(s):

Alessio Gambi ◽

Christoph Mayr-Dorn ◽

Andreas Zeller

Keyword(s):

End User ◽

Model Based ◽

Model Based Testing ◽

User Collaboration

Download Full-text

Estimating Costs for Adopting and Using Model-Based Testing in Agile SCRUM Teams

2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw52544.2021.00042 ◽

2021 ◽

Author(s):

Athanasios Karapantelakis

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Model based TTCN-3 testing of industrial automation systems — First results

ETFA2011 ◽

10.1109/etfa.2011.6059146 ◽

2011 ◽

Cited By ~ 8

Author(s):

Barath Kumar ◽

Bjoern Czybik ◽

Juergen Jasperneite

Keyword(s):

Industrial Automation ◽

Model Based ◽

Automation Systems ◽

First Results ◽

Industrial Automation Systems

Download Full-text

Applying model-based testing to healthcare products

Proceedings of the 13th international conference on Software engineering - ICSE '08 ◽

10.1145/1368088.1368183 ◽

2008 ◽

Cited By ~ 11

Author(s):

Marlon Vieira ◽

Xiping Song ◽

Gilberto Matos ◽

Stephan Storck ◽

Rajanikanth Tanikella ◽

...

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Data generation in model-based testing

Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 ◽

10.1145/1774088.1774553 ◽

2010 ◽

Cited By ~ 1

Author(s):

Padmanabhan Krishnan ◽

Percy Pari-Salas

Keyword(s):

Data Generation ◽

Model Based ◽

Model Based Testing

Download Full-text