Eirini Psallida

Publication Activity (10 Years)

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

Top Topics

Branch And Bound

Symbolic Execution

Test Data Generation

Search Strategy

Top Venues

Publications

Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner
Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach. SAC (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)
Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach. CoRR (2017)