Test Case Generation of Actor Systems.

Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa

Browse the full ATVA paper archive.