{"id":"https://openalex.org/W2535617737","doi":"https://doi.org/10.1145/2976749.2978428","title":"Coverage-based Greybox Fuzzing as Markov Chain","display_name":"Coverage-based Greybox Fuzzing as Markov Chain","publication_year":2016,"publication_date":"2016-10-24","ids":{"openalex":"https://openalex.org/W2535617737","doi":"https://doi.org/10.1145/2976749.2978428","mag":"2535617737"},"language":"en","primary_location":{"id":"doi:10.1145/2976749.2978428","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976749.2978428","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005260100","display_name":"Marcel B\u00f6hme","orcid":"https://orcid.org/0000-0002-4470-1824"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Marcel B\u00f6hme","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056177929","display_name":"Van-Thuan Pham","orcid":"https://orcid.org/0000-0002-9871-3695"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Van-Thuan Pham","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060115298","display_name":"Abhik Roychoudhury","orcid":"https://orcid.org/0000-0002-7127-1137"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Abhik Roychoudhury","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005260100"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":72.3286,"has_fulltext":false,"cited_by_count":615,"citation_normalized_percentile":{"value":0.99932762,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1032","last_page":"1043"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9323877692222595},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.7442593574523926},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6310935020446777},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.6240042448043823},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6219638586044312},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48815828561782837},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4344615340232849},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.4306491017341614},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3584563732147217},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32019075751304626},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.15060055255889893}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9323877692222595},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.7442593574523926},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6310935020446777},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.6240042448043823},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6219638586044312},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48815828561782837},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4344615340232849},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4306491017341614},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3584563732147217},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32019075751304626},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15060055255889893},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2976749.2978428","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976749.2978428","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.8999999761581421,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W614438062","https://openalex.org/W1522250664","https://openalex.org/W1546956568","https://openalex.org/W1710734607","https://openalex.org/W1976878954","https://openalex.org/W2002934700","https://openalex.org/W2024060531","https://openalex.org/W2042033151","https://openalex.org/W2060573639","https://openalex.org/W2066636486","https://openalex.org/W2125152082","https://openalex.org/W2128006558","https://openalex.org/W2128128820","https://openalex.org/W2128985333","https://openalex.org/W2137530017","https://openalex.org/W2186070848","https://openalex.org/W2340281863","https://openalex.org/W2414287720","https://openalex.org/W2517087431","https://openalex.org/W2574017551","https://openalex.org/W3160978791"],"related_works":["https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W3203597304","https://openalex.org/W2990186179","https://openalex.org/W4385301282","https://openalex.org/W3023977444","https://openalex.org/W2766647240","https://openalex.org/W4210660460","https://openalex.org/W3119380829","https://openalex.org/W4385950235"],"abstract_inverted_index":{"Coverage-based":[0],"Greybox":[1],"Fuzzing":[2],"(CGF)":[3],"is":[4,17,35,44,131,137,154,157],"a":[5,22,29,85,160],"random":[6],"testing":[7],"approach":[8],"that":[9,48,93,97,104,115,125,129,152],"requires":[10],"no":[11],"program":[12],"analysis.":[13],"A":[14],"new":[15,30],"test":[16,27],"generated":[18,123],"by":[19,71],"slightly":[20],"mutating":[21],"seed":[23,96,153],"input.":[24],"If":[25],"the":[26,38,52,66,78,91,95,117,141,144],"exercises":[28,98,105],"and":[31,57,80,147],"interesting":[32],"path,":[33],"it":[34,43],"added":[36],"to":[37,60,121,140],"set":[39],"of":[40,69,82,119,143],"seeds;":[41],"otherwise,":[42],"discarded.":[45],"We":[46,76,127],"observe":[47],"most":[49],"tests":[50,70],"exercise":[51],"same":[53,67],"few":[54],"\"high-frequency\"":[55],"paths":[56,64],"develop":[58],"strategies":[59],"explore":[61],"significantly":[62],"more":[63,133],"with":[65,159],"number":[68,118],"gravitating":[72],"towards":[73],"low-frequency":[74],"paths.":[75],"explain":[77],"challenges":[79],"opportunities":[81],"CGF":[83,130],"using":[84],"Markov":[86],"chain":[87],"model":[88],"which":[89],"specifies":[90,116],"probability":[92],"fuzzing":[94],"path":[99,106],"i":[100],"generates":[101],"an":[102,113],"input":[103],"j.":[107],"Each":[108],"state":[109],"(i.e.,":[110],"seed)":[111],"has":[112],"energy":[114,136],"inputs":[120],"be":[122],"from":[124],"seed.":[126],"show":[128],"considerably":[132],"efficient":[134],"if":[135],"inversely":[138],"proportional":[139],"density":[142],"stationary":[145],"distribution":[146],"increases":[148],"monotonically":[149],"every":[150],"time":[151],"chosen.":[155],"Energy":[156],"controlled":[158],"power":[161],"schedule.":[162]},"counts_by_year":[{"year":2026,"cited_by_count":9},{"year":2025,"cited_by_count":86},{"year":2024,"cited_by_count":89},{"year":2023,"cited_by_count":83},{"year":2022,"cited_by_count":53},{"year":2021,"cited_by_count":48},{"year":2020,"cited_by_count":80},{"year":2019,"cited_by_count":94},{"year":2018,"cited_by_count":48},{"year":2017,"cited_by_count":25}],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2025-10-10T00:00:00"}