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ženo v:

Podrobná bibliografie
Vydáno v:	IET software Ročník 12; číslo 6; s. 507 - 519
Hlavní autoři:	Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	The Institution of Engineering and Technology 01.12.2018
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!