A11yLTLNav: Automatic Detection of Accessibility Navigation Failures
Published in arXiv preprint, 2026
Chenming Ge*, Kewen Peng*, Chengyang Shi*, Ben Greenman, Yue Jiang
arXiv:2609.17959, 2026. Under review at CHI 2027. (Equal contribution.)
A property-based checker for accessibility navigation failures affecting blind and low-vision screen-reader users. It checks temporal properties of interface interactions and achieves 88.7% precision on generated websites.