{"id":"https://openalex.org/W4405640723","doi":"https://doi.org/10.1145/3708517","title":"Grammar Mutation for Testing Input Parsers","display_name":"Grammar Mutation for Testing Input Parsers","publication_year":2024,"publication_date":"2024-12-20","ids":{"openalex":"https://openalex.org/W4405640723","doi":"https://doi.org/10.1145/3708517"},"language":"en","primary_location":{"id":"doi:10.1145/3708517","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708517","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3708517","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059772414","display_name":"Bachir Bendrissou","orcid":"https://orcid.org/0000-0002-2864-1892"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Bachir Bendrissou","raw_affiliation_strings":["Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","Imperial College London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053355200","display_name":"Cristian Cadar","orcid":"https://orcid.org/0000-0002-3599-7264"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cristian Cadar","raw_affiliation_strings":["Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","Imperial College London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080781439","display_name":"Alastair F. Donaldson","orcid":"https://orcid.org/0000-0002-7448-7961"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alastair F. Donaldson","raw_affiliation_strings":["Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","Imperial College London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059772414"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":1.5062,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86187616,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"34","issue":"4","first_page":"1","last_page":"21"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8774080872535706},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.6192705035209656},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.6107151508331299},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5268235206604004},{"id":"https://openalex.org/keywords/lr-parser","display_name":"LR parser","score":0.49471279978752136},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.44122833013534546},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32461684942245483},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.14242863655090332},{"id":"https://openalex.org/keywords/parser-combinator","display_name":"Parser combinator","score":0.10502791404724121}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8774080872535706},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.6192705035209656},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.6107151508331299},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5268235206604004},{"id":"https://openalex.org/C35164859","wikidata":"https://www.wikidata.org/wiki/Q1756442","display_name":"LR parser","level":4,"score":0.49471279978752136},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.44122833013534546},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32461684942245483},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.14242863655090332},{"id":"https://openalex.org/C118364021","wikidata":"https://www.wikidata.org/wiki/Q7139956","display_name":"Parser combinator","level":3,"score":0.10502791404724121},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3708517","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708517","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3708517","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708517","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6899999976158142}],"awards":[{"id":"https://openalex.org/G1641431731","display_name":null,"funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1934935867","display_name":null,"funder_award_id":"Engineering and Physical Sciences R","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6480646621","display_name":"Interface reasoning for interacting systems (IRIS).","funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8840470266","display_name":null,"funder_award_id":"R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G947817967","display_name":"Program Analysis for Safe and Secure Software Evolution","funder_award_id":"819141","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1965014786","https://openalex.org/W2499791918","https://openalex.org/W2898192927","https://openalex.org/W2899781671","https://openalex.org/W2955968478","https://openalex.org/W2961870034","https://openalex.org/W2963350015","https://openalex.org/W2974819274","https://openalex.org/W3101498506","https://openalex.org/W3102086861","https://openalex.org/W3180202404","https://openalex.org/W4206113027","https://openalex.org/W4238083723","https://openalex.org/W4281679534","https://openalex.org/W4285177210","https://openalex.org/W4384163609"],"related_works":["https://openalex.org/W2084811916","https://openalex.org/W4381248170","https://openalex.org/W3189621521","https://openalex.org/W1971174339","https://openalex.org/W2173794830","https://openalex.org/W1502858101","https://openalex.org/W1992279947","https://openalex.org/W2003274172","https://openalex.org/W1772933465","https://openalex.org/W2166030873"],"abstract_inverted_index":{"Grammar-based":[0,87],"fuzzing":[1],"is":[2],"an":[3,45,165],"effective":[4],"method":[5],"for":[6],"testing":[7,156],"programs":[8,157],"that":[9,78,158,183],"consume":[10],"structured":[11],"inputs,":[12,193],"particularly":[13],"input":[14,26,127,161,171,178,200],"parsers.":[15],"However,":[16],"if":[17,29,60],"the":[18,25,30,40,57,61,70,72,125,143,195],"available":[19],"grammar":[20,126],"does":[21,35],"not":[22,36,92],"accurately":[23],"represent":[24],"format,":[27],"or":[28],"system":[31],"under":[32],"test":[33],"(SUT)":[34],"conform":[37,68],"strictly":[38,67],"to":[39,66,69,124,137],"grammar,":[41,71],"there":[42],"may":[43,75],"be":[44,81],"impedance":[46],"mismatch":[47],"between":[48,199],"inputs":[49,54],"generated":[50],"via":[51],"grammars":[52],"and":[53,108,173,186,202],"accepted":[55],"by":[56,83,89],"SUT.":[58],"Even":[59],"SUT":[62,73],"has":[63],"been":[64],"designed":[65],"parser":[74,203],"exhibit":[76],"vulnerabilities":[77],"would":[79],"only":[80],"triggered":[82],"slightly":[84],"invalid":[85],"inputs.":[86,97,140],"generation,":[88],"construction,":[90],"will":[91],"yield":[93],"such":[94],"edge":[95,191],"case":[96,192],"To":[98,141],"overcome":[99],"these":[100,146],"limitations,":[101],"we":[102,163],"present":[103],"two":[104],"mutational-based":[105],"approaches:":[106],"Gmutator":[107,121,151,185],"G+M":[109,132,153,187],".":[110],"Both":[111],"approaches":[112],"are":[113],"built":[114],"upon":[115],"Grammarinator":[116,129,138,149],",":[117,130,150,152],"a":[118],"grammar-based":[119],"generator.":[120],"applies":[122,134],"mutations":[123,136],"of":[128,145,197],"while":[131],"directly":[133],"byte-level":[135],"-generated":[139],"evaluate":[142],"effectiveness":[144],"techniques":[147],"(":[148],")":[154],"in":[155,189],"parse":[159],"various":[160],"formats,":[162],"conducted":[164],"experimental":[166],"evaluation":[167],"over":[168],"four":[169],"different":[170],"formats":[172],"twelve":[174],"SUTs":[175],"(three":[176],"per":[177],"format).":[179],"Our":[180],"findings":[181],"suggest":[182],"both":[184],"excel":[188],"generating":[190],"facilitating":[194],"detection":[196],"disparities":[198],"specifications":[201],"implementations.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}