Run-Time Monitoring for Model-Based Testing of Distributed Systems

Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems

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

10.1109/icstw.2017.64 ◽

2017 ◽

Cited By ~ 4

Author(s):

Bruno Miguel Carvalhido Lima ◽

Joao Carlos Pascoal Faria

Keyword(s):

Distributed Systems ◽

Conformance Checking ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

Transactions on Petri Nets and Other Models of Concurrency XIII - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58381-4_8 ◽

2018 ◽

pp. 158-180

Author(s):

Rui Wang ◽

Lars Michael Kristensen ◽

Hein Meling ◽

Volker Stolz

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of automotive distributed systems with automated prioritization

2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) ◽

10.1109/idaacs.2017.8095175 ◽

2017 ◽

Cited By ~ 1

Author(s):

Lukas Krejci ◽

Jiri Novak

Keyword(s):

Distributed Systems ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-Based Testing of Real-Time Distributed Systems

Communications in Computer and Information Science - Databases and Information Systems ◽

10.1007/978-3-319-40180-5_19 ◽

2016 ◽

pp. 272-286 ◽

Cited By ~ 2

Author(s):

Jüri Vain ◽

Evelin Halling ◽

Gert Kanter ◽

Aivo Anier ◽

Deepak Pal

Keyword(s):

Distributed Systems ◽

Real Time ◽

Model Based ◽

Model Based Testing

Download Full-text

A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems

Advanced Techniques in Computing Sciences and Software Engineering ◽

10.1007/978-90-481-3660-5_48 ◽

2009 ◽

pp. 283-288 ◽

Cited By ~ 6

Author(s):

Ahmad Saifan ◽

Juergen Dingel

Keyword(s):

Distributed Systems ◽

Quality Attributes ◽

Improve Quality ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of global properties on large-scale distributed systems

Information and Software Technology ◽

10.1016/j.infsof.2014.02.002 ◽

2014 ◽

Vol 56 (7) ◽

pp. 749-762 ◽

Cited By ~ 11

Author(s):

Gerson Sunyé ◽

Eduardo Cunha de Almeida ◽

Yves Le Traon ◽

Benoit Baudry ◽

Jean-Marc Jézéquel

Keyword(s):

Distributed Systems ◽

Large Scale ◽

Model Based ◽

Global Properties ◽

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