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žené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on software engineering Ročník 45; číslo 5; s. 489 - 506
Hlavní autori:	Bohme, Marcel, Van-Thuan Pham, Roychoudhury, Abhik
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.05.2019 IEEE Computer Society
Predmet:	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 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!