Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attempt to mitigate these problems by leveraging...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IET software Jg. 12; H. 6; S. 507 - 519
Hauptverfasser:	Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	The Institution of Engineering and Technology 01.12.2018
Schlagworte:	coverage-based fuzz testing deeper bugs dynamic symbolic execution execution paths fuzzy set theory hybrid testing methods lazy symbolic pointer concretisation method modern software complexity off-the-shelf vulnerability detection tools popular program testing techniques program debugging program structures program testing Research Article security of data seed files seed selection method symbolic loop bucket optimisation vanilla fuzz testing program debugging program testing seed files fuzzy set theory deeper bugs vanilla fuzz testing execution paths seed selection method modern software complexity security of data symbolic loop bucket optimisation lazy symbolic pointer concretisation method program structures coverage-based fuzz testing popular program testing techniques dynamic symbolic execution off-the-shelf vulnerability detection tools hybrid testing methods
ISSN:	1751-8806, 1751-8814, 1751-8814
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!