Skip to content

SYCO: a systematic testing tool for concurrent objects.

Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel

VenueBCC
Year2016
ProceedingsCC

Browse the full CC paper archive.