Ricardo Nales Amato

According to our database, Ricardo Nales Amato authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Automatically assessing vulnerabilities discovered by compositional analysis.

Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni

Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018