Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel. SYCO: a systematic testing tool for concurrent objects. In Ayal Zaks, Manuel V. Hermenegildo, editors, Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016. pages 269-270, ACM, 2016. [doi]
Abstract is missing.