GitHub repository: timbytimmy/TSGuard-Detecting-Logic-Bugs-in-Time-Series-Management-Systems-via-Time-Series-Algebra
Description: TSGuard: Detecting Logic Bugs in Time Series Management Systems via Time Series Algebra