Combining Static Analysis and Testing for Deadlock Detection | Publicación