透過仿射等效輸入找出空間資料庫引擎中的邏輯錯誤

本文提出了一種名為仿射等效輸入 (AEI) 的新型方法，用於自動驗證空間資料庫管理系統 (SDBMSs) 的結果，並設計了一個名為 Spatter 的自動化工具來檢測 SDBMSs 中的邏輯錯誤。