@misc{indiciae333a0f8375db, title = {Differential coverage: automating coverage analysis}, author = {Henry Cox}, year = {2020}, url = {https://arxiv.org/abs/2008.07947}, note = {Source identifier: 2008.07947} }