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...

Full description

Saved in:

Bibliographic Details
Published in:	IET software Vol. 12; no. 6; pp. 507 - 519
Main Authors:	Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing
Format:	Journal Article
Language:	English
Published:	The Institution of Engineering and Technology 01.12.2018
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!