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

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 45; no. 5; pp. 489 - 506
Main Authors:	Bohme, Marcel, Van-Thuan Pham, Roychoudhury, Abhik
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.05.2019 IEEE Computer Society
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!