Benutzer: Gast  Login
Mehr Felder
Einfache Suche
Titel:

Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Ognawala, Saahil; Hutzelmann, Thomas; Psallida, Eirini; Pretschner, Alexander
Abstract:
Fuzzing and symbolic execution are popular techniques for finding vulnerabilities and generating test-cases for programs. Fuzzing, a blackbox method that mutates seed input values, is generally incapable of generating diverse inputs that exercise all paths in the program. Due to the path-explosion problem and dependence on SMT solvers, symbolic execution may also not achieve high path coverage. A hybrid technique involving fuzzing and symbolic execution may achieve better function coverage than...     »
Stichworte:
symbolic execution; function coverage; software testing; compositional analysis; fuzzing
Kongress- / Buchtitel:
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18
Verlag / Institution:
ACM Press
Publikationsdatum:
01.01.2018
Jahr:
2018
Print-ISBN:
9781450351911
Volltext / DOI:
doi:10.1145/3167132.3167289
WWW:
https://arxiv.org/abs/1711.09362
 BibTeX