TY  - CPAPER
AU  - Albert Albiol, Elvira
AU  - Arenas Sánchez, Purificación
AU  - Gómez Zamalloa, Miguel
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/25002
AB  - Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying  task scheduler, errors can go easily...
LA  - eng
M2  - 259
TI  - Test Case Generation of Actor Systems
TY  - conference paper
ER  -