A Formal Approach to Distributed System Security Test Generation. - Vladimir A. Khlevnoy; Andrey A. Shchurov (CoRR, 2014)

A Formal Approach to Network/Distributed Systems Complex Testing. - Andrey A. Shchurov; Radek Marik; Vladimir A. Khlevnoy (CoRR, 2015)