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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IET software Ročník 12; číslo 6; s. 507 - 519
Hlavní autori:	Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	The Institution of Engineering and Technology 01.12.2018
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!