TY  - JOUR
AU  - Albert Albiol, Elvira María
AU  - Arenas Sánchez, Purificación
AU  - Gómez-Zamalloa Gil, Miguel
PY  - 2018
DO  - 10.1002/stvr.1661
SN  - 0960-0833
UR  - https://hdl.handle.net/20.500.14352/98426
T2  - Journal of Software Testing Verification and Reliability
AB  - Testing concurrent systems requires exploring all possible nondeterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal the erroneous behavior. In testing of actor systems, we can distinguish 2 sources...
LA  - eng
PB  - Wiley
KW  - Actor-based concurrency
KW  - Partial order reduction
KW  - Systematic testing
KW  - Synchronization
KW  - Task independence
TI  - Systematic testing of actor systems
TY  - journal article
VL  - 28
ER  -