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

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

Model-Based Testing of Real-Time Distributed Systems

2016 ◽  
pp. 272-286 ◽  
Author(s):  
Jüri Vain ◽  
Evelin Halling ◽  
Gert Kanter ◽  
Aivo Anier ◽  
Deepak Pal
Keyword(s):  
Distributed Systems ◽  
Real Time ◽  
Model Based ◽  
Model Based Testing

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

2014 ◽  
Vol 56 (7) ◽  
pp. 749-762 ◽  
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

DAG Reliability Model and Fault-Tolerant Algorithm for Heterogeneous Distributed Systems

2014 ◽  
Vol 36 (10) ◽  
pp. 2019-2032 ◽  
Author(s):  
Guo-Qi XIE ◽  
Ren-Fa LI ◽  
Lin LIU ◽  
Fan YANG
Keyword(s):  
Distributed Systems ◽  
Fault Tolerant ◽  
Reliability Model ◽  
Heterogeneous Distributed Systems

Model-Based Testing for Web Applications

2011 ◽  
Vol 34 (6) ◽  
pp. 1012-1028 ◽  
Author(s):  
Huai-Kou MIAO ◽  
Sheng-Bo CHEN ◽  
Hong-Wei ZENG
Keyword(s):  
Web Applications ◽  
Model Based ◽  
Model Based Testing

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

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
Sign in / Sign up

Export Citation Format

Share Document