Generation of Initial Contexts for Effective Deadlock Detection.

Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel

Browse the full LOPSTR paper archive.