Automated Systematic Testing of Open Distributed Programs.

Koushik Sen, Gul Agha

Browse the full FASE paper archive.