State-Driven Testing of Distributed Systems.

Domenico Cotroneo, Roberto Natella, Stefano Russo, Fabio Scippacercola

Browse the full OPODIS paper archive.