State-driven testing of distributed systems (2013)

by D Cotroneo, R Natella, S Russo, F Scippacercola
Venue:in Proc. Int. Conf. on Principles of Distributed Systems (OPODIS 2013