Systematic testing of actor systems

E Albert, P Arenas… - … Testing, Verification and …, 2018 - Wiley Online Library
Testing concurrent systems requires exploring all possible nondeterministic interleavings
that the concurrent execution may have, as any of the interleavings may reveal the …

Actor model evaluation: The impacts and possible enhancement of performance and scalability of a platform

S Mähler - 2019 - diva-portal.org
The aim of this project is to study how a change to an actor-model can affect an existing
software system. The main emphasis is on quantifying the advantages in terms of …