@misc{indiciaefb80ff1528b0,
  title = {Data-centric Dynamic Partial Order Reduction},
  author = {Marek Chalupa and Krishnendu Chatterjee and Andreas Pavlogiannis and Nishant Sinha and Kapil Vaidya},
  year = {2019},
  url = {https://arxiv.org/abs/1610.01188},
  note = {Source identifier: 1610.01188}
}