Automated Systematic Testing of Open Distributed Programs. - Sen, Koushik; Agha, Gul; Baresi, Luciano; Heckel, Reiko (Fundamental Approaches to Software Engineering (9783540330936), 2006)