Point/Counterpoint. - Yuan Xiang Gu; Brecht Wyseur; Bart Preneel; Jean-Daniel Aussel; Reiner Sailer (IEEE Softw., 2011)