Generation of Initial Contexts for Effective Deadlock Detection | Publicación