TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Arenas Sánchez, Purificación
AU  - Gómez Zamalloa, Miguel
PY  - 2014
UR  - https://hdl.handle.net/20.500.14352/36145
AB  - Testing concurrent systems requires exploring all possible non-deterministic interleavings that the concurrent execution may have. This is because any of the interleavings may reveal the erroneous behaviour. In testing of actor systems, we can...
LA  - eng
M2  - 49
TI  - Actor- and Task-Selection Strategies for PruningRedundant State-Exploration in Testing
TY  - conference paper
ER  -