Dfuntest: A Testing Framework for Distributed Applications. - Grzegorz Milka; Krzysztof Rzadca (PPAM (1), 2017)