(2017) Local Analysis for Global Inputs.
In: 39th International Symposium on Software Engineering, May 20-28, 2017, Buenos Aires.
|
Text
submission.pdf Download (134kB) | Preview |
Abstract
Fuzz testing and symbolic test generation both face their own challenges. While symbolic testing has scalability issues, fuzzing cannot uncover faults which require carefully engineered inputs. In this paper I propose a combination of both approaches, compensating weaknesses of each approach with the strength of the other approach. I present my plans for evaluation, which include applications of the hybrid tool to programs which neither of the approaches can handle on its own.
| Item Type: | Conference or Workshop Item (A Paper) (Paper) |
|---|---|
| Divisions: | Andreas Zeller (Software Engineering, ST) |
| Depositing User: | Alexander Kampmann |
| Date Deposited: | 15 Feb 2018 10:00 |
| Last Modified: | 18 Jul 2019 12:10 |
| Primary Research Area: | NRA3: Threat Detection and Defenses |
| URI: | https://publications.cispa.saarland/id/eprint/1494 |
Actions
Actions (login required)
 |
View Item |