Efficient refactoring scheduling based on partial order reduction | Publicación