17 citations · 30 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…
cs.SE2014★ 2 cited
A Formal Model of Distributed Systems For Test Generation Missions
Andrey A. Shchurov
Nowadays, deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems - virtualization and cloud technologies make an…