Ricardo Nales Amato

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 3

Top Topics

Multiresolution

Branch And Bound

Statistical Analysis

Search Strategy

Top Venues

Publications

Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni
Automatically assessing vulnerabilities discovered by compositional analysis. MASES@ASE (2018)
Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni
Automatically Assessing Vulnerabilities Discovered by Compositional Analysis. CoRR (2018)
Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida, Ricardo Nales Amato
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing. CoRR (2018)