4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.DC2015★ 1 cited
A Formal Approach to Network/Distributed Systems Complex Testing
Andrey A. Shchurov, Radek Marik, Vladimir A. Khlevnoy
Deployment of network/distributed systems sets high requirements for procedures, tools and approaches for the complex testing of these systems. This work provides a survey of testi…
cs.DC2015★ 2 cited
Dependability Tests Selection Based on the Concept of Layered Networks
Andrey A. Shchurov, Radek Marik
Nowadays, the consequences of failure and downtime of distributed systems have become more and more severe. As an obvious solution, these systems incorporate protection mechanisms…
cs.SE2014★ 4 cited
A Formal Approach to Distributed System Tests Design
Andrey A. Shchurov, Radek Marik
Deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems. This work introduces a formal four-layered model for tes…