Model-based testing of software for automation systems using heuristics and coverage criterion

Rodrigo José Sarmento Peixoto; Leandro Dias da Silva; Angelo Perkusich

doi:10.1007/s10270-018-0690-5

Model-based testing of software for automation systems using heuristics and coverage criterion

Software & Systems Modeling ◽

10.1007/s10270-018-0690-5 ◽

2018 ◽

Vol 18 (2) ◽

pp. 797-823

Author(s):

Rodrigo José Sarmento Peixoto ◽

Leandro Dias da Silva ◽

Angelo Perkusich

Keyword(s):

Model Based ◽

Automation Systems ◽

Model Based Testing ◽

Coverage Criterion

Download Full-text

Introducing plant features to model-based testing of programmable controllers in automation systems

Control Engineering Practice ◽

10.1016/j.conengprac.2019.07.006 ◽

2019 ◽

Vol 90 ◽

pp. 301-310

Author(s):

Canlong Ma ◽

Julien Provost

Keyword(s):

Model Based ◽

Automation Systems ◽

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