{"id":"https://openalex.org/W1998430536","doi":"https://doi.org/10.4304/jsw.8.3.645-651","title":"Efficient Model-based Fuzz Testing Using Higher-order Attribute Grammars","display_name":"Efficient Model-based Fuzz Testing Using Higher-order Attribute Grammars","publication_year":2013,"publication_date":"2013-03-01","ids":{"openalex":"https://openalex.org/W1998430536","doi":"https://doi.org/10.4304/jsw.8.3.645-651","mag":"1998430536"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.8.3.645-651","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.8.3.645-651","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-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/A5078859155","display_name":"Fan Pan","orcid":"https://orcid.org/0000-0001-9119-7387"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fan Pan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101043100","display_name":"Ying Hou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ying Hou","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109990687","display_name":"Zheng Hong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng Hong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023896344","display_name":"Lifa Wu","orcid":"https://orcid.org/0000-0001-5457-1923"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lifa Wu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5044387166","display_name":"Haiguang Lai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haiguang Lai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9488,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.76731008,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"8","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987999796867371,"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/T10260","display_name":"Software Engineering Research","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.9250670075416565},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.6699865460395813},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.5350927114486694},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4504757821559906},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4239121079444885},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3952096402645111},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32825642824172974},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3242044746875763}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9250670075416565},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.6699865460395813},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.5350927114486694},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4504757821559906},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4239121079444885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3952096402645111},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32825642824172974},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3242044746875763},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.8.3.645-651","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.8.3.645-651","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W31771106","https://openalex.org/W82260615","https://openalex.org/W1497873656","https://openalex.org/W1500587673","https://openalex.org/W1710734607","https://openalex.org/W1974084061","https://openalex.org/W1988524530","https://openalex.org/W1998965451","https://openalex.org/W2002934700","https://openalex.org/W2011367000","https://openalex.org/W2038580209","https://openalex.org/W2043548135","https://openalex.org/W2065948900","https://openalex.org/W2090803525","https://openalex.org/W2104053193","https://openalex.org/W2128006558","https://openalex.org/W2163362445","https://openalex.org/W4285719527","https://openalex.org/W6603368052","https://openalex.org/W6660303562","https://openalex.org/W6675603125","https://openalex.org/W6679067150","https://openalex.org/W6683601778"],"related_works":["https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W3203597304","https://openalex.org/W2990186179","https://openalex.org/W4248424560","https://openalex.org/W4385301282","https://openalex.org/W3023977444","https://openalex.org/W2766647240","https://openalex.org/W4210660460","https://openalex.org/W2959616428"],"abstract_inverted_index":{"Format":[0],"specifications":[1],"of":[2,46,60,101],"data":[3,47,61],"input":[4],"are":[5,70],"critical":[6],"to":[7,20,28,37,74,79],"model-based":[8],"fuzz":[9,38],"testing.":[10,39],"Present":[11],"methods":[12],"cannot":[13],"describe":[14],"the":[15,58,67,80,87],"format":[16,48],"accurately,":[17],"which":[18],"leads":[19],"high":[21],"redundancy":[22],"in":[23,66],"testing":[24,30],"practices.":[25],"In":[26],"order":[27],"improve":[29],"efficiency,":[31],"we":[32,41],"propose":[33],"a":[34,43],"grammar-driven":[35],"approach":[36,89],"Firstly,":[40],"build":[42],"formal":[44],"model":[45],"using":[49],"higher-order":[50],"attribute":[51,81],"grammars,":[52],"and":[53,72,93,97],"construct":[54],"syntax":[55,68],"tree":[56,69],"on":[57],"basis":[59],"samples.":[62],"Secondly,":[63],"all":[64],"nodes":[65],"traversed":[71],"mutated":[73],"generate":[75],"test":[76,95],"cases":[77],"according":[78],"rules.":[82],"Experimental":[83],"results":[84],"show":[85],"that":[86],"proposed":[88],"can":[90],"reduce":[91],"invalid":[92],"redundant":[94],"cases,":[96],"discover":[98],"potential":[99],"vulnerabilities":[100],"software":[102],"implementations":[103],"effectively.":[104]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}