{"id":"https://openalex.org/W4402442617","doi":"https://doi.org/10.1145/3650212.3680392","title":"Testing Gremlin-Based Graph Database Systems via Query Disassembling","display_name":"Testing Gremlin-Based Graph Database Systems via Query Disassembling","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402442617","doi":"https://doi.org/10.1145/3650212.3680392"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3680392","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680392","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.1145/3650212.3680392","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039932019","display_name":"Yingying Zheng","orcid":"https://orcid.org/0009-0000-2814-0273"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yingying Zheng","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0000-2814-0273","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023724495","display_name":"Wensheng Dou","orcid":"https://orcid.org/0000-0002-3323-0449"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wensheng Dou","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-3323-0449","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102419431","display_name":"Lei Tang","orcid":"https://orcid.org/0009-0009-4526-1814"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Tang","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0009-4526-1814","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022969399","display_name":"Ziyu Cui","orcid":"https://orcid.org/0009-0004-7462-194X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziyu Cui","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0004-7462-194X","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090759435","display_name":"Yu Gao","orcid":"https://orcid.org/0009-0009-8312-6736"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Gao","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0009-8312-6736","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008816452","display_name":"Jiansen Song","orcid":"https://orcid.org/0009-0003-0401-2033"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiansen Song","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-0401-2033","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102579829","display_name":"Liang Xu","orcid":"https://orcid.org/0009-0000-8520-5141"},"institutions":[{"id":"https://openalex.org/I4210166603","display_name":"Jinling Institute of Technology","ror":"https://ror.org/05em1gq62","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210166603"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Xu","raw_affiliation_strings":["Jinling Institute of Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0000-8520-5141","affiliations":[{"raw_affiliation_string":"Jinling Institute of Technology, Nanjing, China","institution_ids":["https://openalex.org/I4210166603"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101518774","display_name":"Jiaxin Zhu","orcid":"https://orcid.org/0000-0002-0905-2355"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaxin Zhu","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-0905-2355","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104225212","display_name":"Wei Wang","orcid":"https://orcid.org/0009-0005-4941-9237"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Wang","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0005-4941-9237","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001733016","display_name":"Jun Wei","orcid":"https://orcid.org/0000-0002-8561-2481"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Wei","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-8561-2481","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052661644","display_name":"Zhong Hua","orcid":"https://orcid.org/0000-0003-3650-1475"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hua Zhong","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3650-1475","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085953258","display_name":"Huang Tao","orcid":"https://orcid.org/0009-0006-4875-732X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Huang","raw_affiliation_strings":["Institute of Software at Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0006-4875-732X","affiliations":[{"raw_affiliation_string":"Institute of Software at Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5039932019"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":1.4285,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.83016357,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1695","last_page":"1707"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7941588759422302},{"id":"https://openalex.org/keywords/graph-database","display_name":"Graph database","score":0.6144565939903259},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.558394730091095},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.4966886639595032},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.46820738911628723},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3595181107521057},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2288409173488617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7941588759422302},{"id":"https://openalex.org/C176225458","wikidata":"https://www.wikidata.org/wiki/Q595971","display_name":"Graph database","level":3,"score":0.6144565939903259},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.558394730091095},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.4966886639595032},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.46820738911628723},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3595181107521057},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2288409173488617}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3650212.3680392","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680392","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3650212.3680392","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680392","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1893177189","https://openalex.org/W2016432059","https://openalex.org/W2041713059","https://openalex.org/W2077443691","https://openalex.org/W2171831739","https://openalex.org/W2751343396","https://openalex.org/W2799059383","https://openalex.org/W2808317661","https://openalex.org/W2982547214","https://openalex.org/W3029064949","https://openalex.org/W3042605769","https://openalex.org/W3069870036","https://openalex.org/W3099032206","https://openalex.org/W3100284210","https://openalex.org/W3106731144","https://openalex.org/W3175716835","https://openalex.org/W3176219181","https://openalex.org/W3176921087","https://openalex.org/W3196217620","https://openalex.org/W4205618162","https://openalex.org/W4238083723","https://openalex.org/W4284665426","https://openalex.org/W4285490445","https://openalex.org/W4313563670","https://openalex.org/W4384026648","https://openalex.org/W4384154496","https://openalex.org/W4384155660","https://openalex.org/W4384305072","https://openalex.org/W4384345711","https://openalex.org/W4384345799","https://openalex.org/W4392453941","https://openalex.org/W4394745231","https://openalex.org/W4394745495","https://openalex.org/W4399208693","https://openalex.org/W4401905777","https://openalex.org/W6949135863"],"related_works":["https://openalex.org/W2006459955","https://openalex.org/W1819934925","https://openalex.org/W4386051213","https://openalex.org/W2003932708","https://openalex.org/W2385922226","https://openalex.org/W1967424056","https://openalex.org/W2955368753","https://openalex.org/W2083093295","https://openalex.org/W3115442681","https://openalex.org/W2391000461"],"abstract_inverted_index":{"Graph":[0],"Database":[1],"Systems":[2],"(GDBs)":[3],"support":[4],"efficiently":[5],"storing":[6],"and":[7,11,32,56,132,152],"retrieving":[8],"graph":[9,36,79,115],"data,":[10],"have":[12,153,164],"become":[13],"a":[14,43,50,78,103,111,136],"critical":[15],"component":[16],"in":[17,35,38,77,99,141,158],"many":[18],"important":[19],"applications.":[20],"Many":[21],"widely-used":[22],"GDBs":[23,59],"utilize":[24],"the":[25,120,127,142],"Gremlin":[26,46,67,104],"query":[27,72,105],"language":[28],"to":[29,48,69,94],"create,":[30],"modify,":[31],"retrieve":[33],"data":[34],"databases,":[37],"which":[39,64,118,163],"developers":[40],"can":[41,60,65],"assemble":[42],"sequence":[44,112],"of":[45,58,113,130,162],"APIs":[47],"perform":[49],"complex":[51],"query.":[52],"However,":[53],"incorrect":[54,71],"implementations":[55],"optimizations":[57],"introduce":[61],"logic":[62,97,137,156],"bugs,":[63],"cause":[66],"queries":[68],"return":[70],"results,":[73],"e.g.,":[74],"omitting":[75],"vertices":[76],"database.":[80],"In":[81],"this":[82],"paper,":[83],"we":[84],"propose":[85],"Query":[86],"Di":[87],"sassembling":[88],"(QuDi),":[89],"an":[90],"effective":[91],"testing":[92],"technique":[93],"automatically":[95],"detect":[96],"bugs":[98,157,169],"Gremlin-based":[100],"GDBs.":[101],"Given":[102],"Q,":[106],"QuDi":[107,147],"disassembles":[108],"Q":[109,131],"into":[110],"atomic":[114],"traversals":[116],"TList,":[117],"shares":[119],"equivalent":[121],"execution":[122,128],"semantics":[123],"with":[124],"Q.":[125],"If":[126],"results":[129],"TList":[133],"are":[134],"different,":[135],"bug":[138],"is":[139],"revealed":[140],"target":[143],"GDB.":[144],"We":[145],"evaluate":[146],"on":[148],"six":[149],"popular":[150],"GDBs,":[151,160],"found":[154],"25":[155],"these":[159],"10":[161],"been":[165],"confirmed":[166],"as":[167],"previously-unknown":[168],"by":[170],"GDB":[171],"developers.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":6}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}