Login / Signup
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
CoRR
SAC
</>
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)