Differential Privacy for Coverage Analysis of Software Traces. - Hao, Yu; Latif, Sufian; Zhang, Hailong; Bassily, Raef; Rountev, Atanas (2021)