KompicsTesting - Unit Testing Event Streams. - Ifeanyi W. Ubah; Lars Kroll; Alexandru A. Ormenisan; Seif Haridi (CoRR, 2017)