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