{"id":"https://openalex.org/W4415746227","doi":"https://doi.org/10.1109/icsme64153.2025.00030","title":"TSGuard: Detecting Logic Bugs in Time Series Management Systems Via Time Series Algebra","display_name":"TSGuard: Detecting Logic Bugs in Time Series Management Systems Via Time Series Algebra","publication_year":2025,"publication_date":"2025-09-07","ids":{"openalex":"https://openalex.org/W4415746227","doi":"https://doi.org/10.1109/icsme64153.2025.00030"},"language":null,"primary_location":{"id":"doi:10.1109/icsme64153.2025.00030","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsme64153.2025.00030","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Maintenance and Evolution (ICSME)","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/A5008188948","display_name":"Lingwei Kuang","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lingwei Kuang","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100322388","display_name":"Liang Liu","orcid":"https://orcid.org/0000-0002-9407-7687"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Liu","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429487","display_name":"Wenjing Wang","orcid":"https://orcid.org/0000-0003-3951-3877"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjing Wang","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031865097","display_name":"Ning Cao","orcid":"https://orcid.org/0000-0003-2690-7105"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ning Cao","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100458981","display_name":"Shijie Li","orcid":"https://orcid.org/0009-0002-7223-7843"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shijie Li","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034982596","display_name":"Fan Liu","orcid":"https://orcid.org/0000-0002-8593-5491"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fan Liu","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041001038","display_name":"Haolong Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haolong Chen","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics,Nanjing,China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":null,"display_name":"WenJian Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210144719","display_name":"CNC Technology (Czechia)","ror":"https://ror.org/040hz3y05","country_code":"CZ","type":"company","lineage":["https://openalex.org/I4210144719"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"WenJian Liao","raw_affiliation_strings":["Nanjing FiberHome StarrySky Communication Development CN,Nanjing,China"],"affiliations":[{"raw_affiliation_string":"Nanjing FiberHome StarrySky Communication Development CN,Nanjing,China","institution_ids":["https://openalex.org/I4210144719"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5008188948"],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":null,"apc_paid":null,"fwci":1.3695,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.87068498,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.3750999867916107,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.3750999867916107,"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/T12127","display_name":"Software System Performance and Reliability","score":0.16449999809265137,"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/T12205","display_name":"Time Series Analysis and Forecasting","score":0.15240000188350677,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/sql","display_name":"SQL","score":0.6579999923706055},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5620999932289124},{"id":"https://openalex.org/keywords/relational-algebra","display_name":"Relational algebra","score":0.492000013589859},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.4794999957084656},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.4616999924182892},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4212000072002411},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.38830000162124634},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.36390000581741333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.756600022315979},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.6579999923706055},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5620999932289124},{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.492000013589859},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.4794999957084656},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4684000015258789},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.4616999924182892},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4212000072002411},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.41510000824928284},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.38830000162124634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38679999113082886},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.36390000581741333},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.3571000099182129},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C55596503","wikidata":"https://www.wikidata.org/wiki/Q1431648","display_name":"Data definition language","level":3,"score":0.3147999942302704},{"id":"https://openalex.org/C129131279","wikidata":"https://www.wikidata.org/wiki/Q1931259","display_name":"Predicative expression","level":2,"score":0.30559998750686646},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.2777000069618225},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.274399995803833},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.27090001106262207},{"id":"https://openalex.org/C56288433","wikidata":"https://www.wikidata.org/wiki/Q58673","display_name":"Data manipulation language","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.26660001277923584},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.2637999951839447},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C151406439","wikidata":"https://www.wikidata.org/wiki/Q186588","display_name":"Time series","level":2,"score":0.25130000710487366},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsme64153.2025.00030","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsme64153.2025.00030","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Maintenance and Evolution (ICSME)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G234570629","display_name":null,"funder_award_id":"DZBM2024-31-0022","funder_id":"https://openalex.org/F4320323970","funder_display_name":"Ministry of Industry and Information Technology of the People's Republic of China"}],"funders":[{"id":"https://openalex.org/F4320323970","display_name":"Ministry of Industry and Information Technology of the People's Republic of China","ror":"https://ror.org/0385nmy68"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W2002934700","https://openalex.org/W2162036145","https://openalex.org/W2324595780","https://openalex.org/W2749874879","https://openalex.org/W2782311202","https://openalex.org/W2899189777","https://openalex.org/W2982547214","https://openalex.org/W3042605769","https://openalex.org/W3086558596","https://openalex.org/W3097728505","https://openalex.org/W3106731144","https://openalex.org/W3160235602","https://openalex.org/W4284665426","https://openalex.org/W4285490419","https://openalex.org/W4285490445","https://openalex.org/W4313563635","https://openalex.org/W4384345711","https://openalex.org/W4385270312","https://openalex.org/W4394746056","https://openalex.org/W4399208693"],"related_works":[],"abstract_inverted_index":{"Time":[0],"Series":[1],"Management":[2],"System":[3],"(TSMS)":[4],"is":[5,22,101],"a":[6,84,144],"specialized":[7],"database":[8,48],"management":[9],"system":[10],"designed":[11],"for":[12,24,86,147,155],"storing,":[13],"querying,":[14],"and":[15,56,123,150,179],"analyzing":[16],"time":[17,50,93,104,110],"series":[18,51,94,105,111],"data.":[19],"Its":[20],"correctness":[21],"essential":[23],"accurate":[25],"data":[26,42],"processing.":[27],"However,":[28],"logic":[29,72,88,136,163,177],"bugs":[30,73,89,137,178],"can":[31],"lead":[32],"to":[33,102,117,133,158],"erroneous":[34],"query":[35,130,148,152],"outputs,":[36],"severely":[37],"compromising":[38],"the":[39,64,69,119,128,139,160],"reliability":[40],"of":[41,66,71,99,162],"analysis.":[43],"Compared":[44],"with":[45,127],"traditional":[46],"relational":[47],"SQL,":[49],"SQL":[52,106],"exhibits":[53],"significant":[54],"syntactic":[55],"semantic":[57],"differences,":[58],"making":[59],"existing":[60],"tools":[61],"inapplicable.":[62],"To":[63],"best":[65],"our":[67],"knowledge,":[68],"detection":[70],"remains":[74],"an":[75],"open":[76],"problem.":[77],"In":[78],"this":[79],"paper,":[80],"we":[81,142],"propose":[82],"TSGuard,":[83],"tool":[85],"detecting":[87],"in":[90,138],"TSMSs":[91,157],"via":[92],"algebra.":[95],"The":[96],"core":[97],"idea":[98],"TSGuard":[100,169],"convert":[103],"queries":[107],"into":[108],"equivalent":[109],"algebra":[112],"expressions,":[113],"evaluate":[114],"these":[115],"expressions":[116],"derive":[118],"expected":[120],"result":[121,131],"set,":[122],"then":[124],"compare":[125],"it":[126],"actual":[129],"set":[132],"detect":[134],"potential":[135],"TSMS.":[140],"Additionally,":[141],"introduce":[143],"feedback":[145],"mechanism":[146],"generation":[149],"develop":[151],"syntax":[153],"validators":[154],"different":[156],"improve":[159],"efficiency":[161],"bug":[164],"detection.":[165],"Through":[166],"extensive":[167],"testing,":[168],"discovered":[170],"48":[171],"previously":[172],"unknown":[173],"bugs,":[174],"including":[175],"45":[176],"3":[180],"crash":[181],"bugs.":[182]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-31T00:00:00"}