Constrained Dynamic Partial Order Reduction | Publicación