Source record

Published by arXiv cs.HC (T1 source). The original is at https://arxiv.org/abs/2609.17959.

Pipeline notes

The summary and note below are generated by the signal pipeline — they are Beyond Desk’s reading, not quotations from the source.

A research paper presenting A11yLTLNav, a tool that encodes web accessibility navigation failures as Linear Temporal Logic properties and detects them at runtime via random keyboard exploration and property monitoring. Evaluated on 31 generated websites, reporting 274 confirmed failures at 88.7% precision.

Codifies interaction-time accessibility failures as executable temporal-logic checks, surfacing problems static scanners miss for BLV users.

Cited by

No citations on record.