Automatically assessing vulnerabilities discovered by compositional analysis. - Saahil Ognawala; Ricardo Nales Amato; Alexander Pretschner; Pooja Kulkarni (MASES@ASE, 2018)

Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing. - Saahil Ognawala; Alexander Pretschner; Thomas Hutzelmann; Eirini Psallida; Ricardo Nales Amato (CoRR, 2018)