A11yLTLNav: Automatic Detection of Accessibility Navigation Failures
This work organizes accessibility navigation failures into a failure taxonomy and formalizes a browser-observable subset as executable Linear Temporal Logic properties over action-state traces and transforms accessibility knowledge into reusable checks of interface behavior over time.
Chen-Ming Ge, Ke-Wen Peng, Cheng-Yang Shi et al.
· 0 citations