@phdthesis{BenKhadra2021, author = {Mohamed Ammar Ben Khadra}, title = {Techniques For Efficient Binary-Level Coverage Analysis}, type = {doctoralthesis}, pages = {X, 112}, school = {Technische Universit{\"a}t Kaiserslautern}, doi = {10.26204/KLUEDO/6410}, year = {2021}, url = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-64105}, }