Coverage-Based Greybox Fuzzing as Markov Chain

Coverage-based Greybox Fuzzing (CGF) is a random testing approach that requires no program analysis. A new test is generated by slightly mutating a seed input. If the test exercises a new and interesting path, it is added to the set of seeds; otherwise, it is discarded. We observe that most tests ex...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 45; číslo 5; s. 489 - 506
Hlavní autoři:	Bohme, Marcel, Van-Thuan Pham, Roychoudhury, Abhik
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.05.2019 IEEE Computer Society
Témata:	automated testing Computer crashes Crashes Exposure fuzzing Markov analysis Markov chains Markov processes path exploration Program verification (computers) Schedules Search problems Seeds symbolic execution Systematics Vulnerability detection
ISSN:	0098-5589, 1939-3520
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!