TY - RPRT TI - Efficient Binary-Level Coverage Analysis AU - M. Ammar Ben Khadra AU - Dominik Stoffel AU - Wolfgang Kunz PY - 2020 UR - https://arxiv.org/abs/2004.14191 ID - 2004.14191 ER -