User: Guest  Login
Title:

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

Document type:
Konferenzbeitrag
Author(s):
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...     »
Keywords:
symbolic execution; function coverage; software testing; compositional analysis; fuzzing
Book / Congress title:
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18
Publisher:
ACM Press
Date of publication:
01.01.2018
Year:
2018
Print-ISBN:
9781450351911
Fulltext / DOI:
doi:10.1145/3167132.3167289
WWW:
https://arxiv.org/abs/1711.09362
 BibTeX