TSGuard: Detecting Logic Bugs in Time Series Management Systems via Time Series Algebra
Abstract—Time Series Management System (TSMS) is a specialized database management system designed for storing, querying, and analyzing time series data. Its correctness is essential for accurate data processing. However, logic bugs can lead to erroneous query outputs, severely compromising the reliability of data analysis. Compared with traditional relational database SQL, time-series SQL exhibits significant syntactic and semantic differences, making existing tools inapplicable. To the best of our knowledge, the detection of logic bugs remains an open problem. In this paper, we propose TSGuard, a tool for detecting logic bugs in TSMSs via time series algebra. The core idea of TSGuard is to convert time series SQL queries into equivalent time series algebra expressions, evaluate these expressions to derive the expected result set, and then compare it with the actual query result set to detect potential logic bugs in the TSMS. Additionally, we introduce a feedback mechanism for query generation and develop query syntax validators for different TSMSs to improve the efficiency of logic bug detection. Through extensive testing, TSGuard discovered 48 previously unknown bugs, including 45 logic bugs and 3 crash bugs.
Wed 10 SepDisplayed time zone: Auckland, Wellington change
15:30 - 17:00 | Session 5 - DebuggingResearch Papers Track / Industry Track at Case Room 3 260-055 Chair(s): Chanchal K. Roy University of Saskatchewan | ||
15:30 15m | The Impact of Fine-tuning Large Language Models on Automated Program Repair Research Papers Track Roman Machacek University of Bern, Anastasiia Grishina Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory Pre-print Media Attached | ||
15:45 15m | Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution Research Papers Track Likai Ye Zhejiang University, Mengliang Li Zhejiang University, Dehai Zhao CSIRO's Data61, Jiamou Sun CSIRO's Data61, Xiaoxue Ren Zhejiang University Pre-print | ||
16:00 15m | Code Property Graph Meets Typestate: A Scalable Framework to Behavioral Bug Detection Research Papers Track Xingjing Deng Beihang University, Zhengyao Liu Beihang University, Zhong Xitong Beihang University, shuo hong Beihang University, Yixin Yang , Xiang Gao Beihang University, Yan Xuhui Huawei, Hailong Sun Beihang University | ||
16:15 15m | Syntest-ACR: Automated Crash Reproduction for JavaScript Research Papers Track Philip Oliver Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington File Attached | ||
16:30 15m | TSGuard: Detecting Logic Bugs in Time Series Management Systems via Time Series Algebra Research Papers Track Lingwei Kuang Nanjing University of Aeronautics and Astronautics, Liang Liu Nanjing University of Aeronautics and Astronautics, Wenjing Wang Nanjing University of Aeronautics and Astronautics, Ning Cao Nanjing University of Aeronautics and Astronautics, Shijie Li Nanjing University of Aeronautics and Astronautics, Fan Liu Nanjing University of Aeronautics and Astronautics, Haolong Chen Nanjing University of Aeronautics and Astronautics | ||
16:45 15m | HybridRCA: Lightweight Critical-Path-Aware Hybrid Tracing for Root-Cause Analysis in Production Microservices Industry Track Maryam Ekhlasi Ciena, Arnaud Fiorini Polytechnique Montreal, Naser Ezzati Jivan , Michel Dagenais Polytechnique Montreal, Maxime Lamothe Polytechnique Montreal | ||