Combining Static Analysis and Testing for Deadlock Detection.

Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel

Browse the full IFM paper archive.