Piet Cordemans, Eric Steegmans, Jeroen Boydens. Deterministically testing actor-based concurrent software. In Tanja Vos, Sigrid Eldh, Wishnu Prasetya, editors, Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2015, Bergamo, Italy, August 30-31, 2015. pages 26-30, ACM, 2015. [doi]
Abstract is missing.