SYCO: a systematic testing tool for concurrent objects | Publicación