LTA: Control-Driven UAV Testing and Bug Localization with Flight Record Decomposition. - Changyul Lee; Deokjin Kim; Giyeol Kim; Sangwook Lee; Taegyu Kim (SenSys, 2024)