DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. - Bichsel, Benjamin; Gehr, Timon; Drachsler-Cohen, Dana; Tsankov, Petar; Vechev, Martin T. (2018)