TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Isabel Márquez, Miguel
AU  - Gómez-Zamalloa Gil, Miguel
PY  - 2016
DO  - 10.1145/2892208.2892236
UR  - https://hdl.handle.net/20.500.14352/99061
AB  - We present the concepts, usage and prototypical implementation of SYCO: a SYstematic testing tool for Concurrent Objects. The system receives as input a program, a selection of method to be tested, and a set of initial values for its parameters. SYCO...
LA  - eng
M2  - 269
KW  - Systematic testing
KW  - Concurrency
KW  - Partial-order reduction
TI  - SYCO: a systematic testing tool for concurrent objects
TY  - conference paper
ER  -