{"id":"https://openalex.org/W7153032580","doi":"https://doi.org/10.1145/3798243","title":"Online Input Grammar Synthesis Aided Symbolic Execution","display_name":"Online Input Grammar Synthesis Aided Symbolic Execution","publication_year":2026,"publication_date":"2026-04-10","ids":{"openalex":"https://openalex.org/W7153032580","doi":"https://doi.org/10.1145/3798243"},"language":"en","primary_location":{"id":"doi:10.1145/3798243","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798243","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3798243","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101818500","display_name":"Ke Ma","orcid":"https://orcid.org/0000-0002-4720-7151"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ke Ma","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0009-0000-9079-3566","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066762060","display_name":"Yunlai Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunlai Luo","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0009-0007-1730-7796","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024920190","display_name":"Zhenbang Chen","orcid":"https://orcid.org/0000-0002-4066-7892"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenbang Chen","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-4066-7892","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101827489","display_name":"Weijiang Hong","orcid":"https://orcid.org/0000-0002-7092-3658"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weijiang Hong","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-7092-3658","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022739328","display_name":"Yufeng Zhang","orcid":"https://orcid.org/0000-0001-6082-4501"},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yufeng Zhang","raw_affiliation_strings":["Hunan University, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0001-6082-4501","affiliations":[{"raw_affiliation_string":"Hunan University, Changsha, China","institution_ids":["https://openalex.org/I16609230"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101836625","display_name":"Ji Wang","orcid":"https://orcid.org/0000-0003-0637-8744"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ji Wang","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0003-0637-8744","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.34134615,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"OOPSLA1","first_page":"1180","last_page":"1207"},"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.6280999779701233,"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.6280999779701233,"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/T10126","display_name":"Logic, programming, and type systems","score":0.10090000182390213,"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/T10260","display_name":"Software Engineering Research","score":0.04749999940395355,"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/grammar","display_name":"Grammar","score":0.6639999747276306},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.6431000232696533},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.6067000031471252},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.541700005531311},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.48579999804496765},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.44200000166893005},{"id":"https://openalex.org/keywords/abstract-syntax-tree","display_name":"Abstract syntax tree","score":0.4359000027179718},{"id":"https://openalex.org/keywords/attribute-grammar","display_name":"Attribute grammar","score":0.4189000129699707},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.41100001335144043}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8522999882698059},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7006000280380249},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.6639999747276306},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.6431000232696533},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.6067000031471252},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.541700005531311},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.48579999804496765},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.44200000166893005},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.4359000027179718},{"id":"https://openalex.org/C164041254","wikidata":"https://www.wikidata.org/wiki/Q597455","display_name":"Attribute grammar","level":3,"score":0.4189000129699707},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41100001335144043},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38280001282691956},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.36559998989105225},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3621000051498413},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.36059999465942383},{"id":"https://openalex.org/C2781466058","wikidata":"https://www.wikidata.org/wiki/Q627921","display_name":"Parse tree","level":3,"score":0.3407999873161316},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.33090001344680786},{"id":"https://openalex.org/C81669768","wikidata":"https://www.wikidata.org/wiki/Q2359161","display_name":"Precision and recall","level":2,"score":0.3262999951839447},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.3249000012874603},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.3181999921798706},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.31220000982284546},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.29350000619888306},{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.2858000099658966},{"id":"https://openalex.org/C171553443","wikidata":"https://www.wikidata.org/wiki/Q373045","display_name":"Formal grammar","level":3,"score":0.2822999954223633},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.27709999680519104},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C80364944","wikidata":"https://www.wikidata.org/wiki/Q4689005","display_name":"Affix grammar","level":3,"score":0.2651999890804291}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3798243","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798243","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3798243","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798243","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6926010251045227}],"awards":[{"id":"https://openalex.org/G41279851","display_name":null,"funder_award_id":"62032024","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4338802390","display_name":null,"funder_award_id":"62172429","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6690923861","display_name":null,"funder_award_id":"62372162","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6763928106","display_name":null,"funder_award_id":"2024YFF0908003","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1531123507","https://openalex.org/W1663101133","https://openalex.org/W1777881387","https://openalex.org/W1979693894","https://openalex.org/W1989445634","https://openalex.org/W2009489720","https://openalex.org/W2013711971","https://openalex.org/W2014011458","https://openalex.org/W2015903771","https://openalex.org/W2018951244","https://openalex.org/W2065948900","https://openalex.org/W2076343783","https://openalex.org/W2077103338","https://openalex.org/W2086618639","https://openalex.org/W2096659083","https://openalex.org/W2101512909","https://openalex.org/W2103201337","https://openalex.org/W2110908283","https://openalex.org/W2114345296","https://openalex.org/W2154985136","https://openalex.org/W2157056800","https://openalex.org/W2160279051","https://openalex.org/W2499791918","https://openalex.org/W2514578992","https://openalex.org/W2794823999","https://openalex.org/W2963350015","https://openalex.org/W2963723316","https://openalex.org/W2968973984","https://openalex.org/W2969087412","https://openalex.org/W2999409539","https://openalex.org/W3003374142","https://openalex.org/W3039183210","https://openalex.org/W3101498506","https://openalex.org/W3176859472","https://openalex.org/W3179098620","https://openalex.org/W4206113027","https://openalex.org/W4237492309","https://openalex.org/W4246117430","https://openalex.org/W4246385123","https://openalex.org/W4394745885","https://openalex.org/W4399851298","https://openalex.org/W7132839321"],"related_works":[],"abstract_inverted_index":{"Symbolic":[0],"execution":[1,19,56],"faces":[2],"the":[3,11,30,40,64,89,103,128,140,149,154],"challenge":[4,24],"of":[5,32,66,130,142],"generating":[6],"valid":[7,60,136],"inputs":[8,61,137],"when":[9],"analyzing":[10],"program":[12],"with":[13,119,148],"complex":[14,120],"input":[15,34,43,51,75,121],"formats.":[16],"Token-based":[17],"symbolic":[18,55,67],"can":[20,126],"partially":[21],"tackle":[22],"this":[23],"but":[25],"is":[26],"still":[27],"doomed":[28],"by":[29,157],"difficulty":[31],"passing":[33],"checking":[35],"and":[36,79,107,133,162],"failing":[37],"to":[38,58,91,138],"analyze":[39],"code":[41,132,144],"after":[42],"checking.":[44],"We":[45],"propose":[46,73],"Lase":[47,70,125,158],",":[48,71],"an":[49,74],"online":[50],"grammar":[52,82,100,151],"synthesis":[53,83,101,152],"aided":[54],"method,":[57],"generate":[59,134],"for":[62],"improving":[63],"effectiveness":[65],"execution.":[68],"Inside":[69],"we":[72],"grammar-oriented":[76],"search":[77,86],"strategy":[78,87],"a":[80],"token-level":[81,99],"method.":[84],"The":[85,98,112],"selects":[88],"paths":[90],"cover":[92],"more":[93,135],"syntax":[94],"rules":[95],"in":[96],"priority.":[97],"improves":[102],"synthesized":[104],"grammar\u2019s":[105],"precision":[106,161],"completeness":[108],"while":[109],"ensuring":[110],"efficiency.":[111],"experimental":[113],"results":[114],"on":[115,164],"real-world":[116],"parsing":[117,131],"programs":[118],"grammars":[122,155],"demonstrate":[123],"that":[124],"improve":[127,139],"coverage":[129,141],"functionality":[143],"significantly.":[145],"Furthermore,":[146],"compared":[147],"state-of-the-art":[150],"methods,":[153],"learned":[156],"have":[159],"better":[160],"recall":[163],"most":[165],"benchmark":[166],"programs.":[167]},"counts_by_year":[],"updated_date":"2026-08-24T07:32:12.397491","created_date":"2026-04-11T00:00:00"}