Literature Reviews

Reviewed research papers, articles, and publications relevant to digital accessibility.

• Proving the validity and accessibility of dynamic web-pages

  R. G. Stone, J. Dhiensa (2004) — Proceedings of the 2004 International Cross-Disciplinary Workshop on Web Accessibility (W4A)

  This paper from Loughborough University proposes a formal verification approach to proving that dynamically generated web pages will always produce valid and accessible output, regardless of which code path executes at runtime. The authors draw a dir…

  • automated testing
  • dynamic web pages
  • formal verification
  • PHP
  • server-side scripting
  • web accessibility evaluation

• Automatic accessibility evaluation of dynamic web pages generated through XSLT

  André Pimenta Freire, Renata Pontin de Mattos Fortes (2005) — Proceedings of the 2005 International Cross-Disciplinary Workshop on Web Accessibility (W4A)

  This paper from researchers at the University of São Paulo addresses a gap in accessibility evaluation tooling: the inability of automated checkers to test dynamically generated web pages. In 2005, tools like Bobby, LIFT, and WAVE could only evaluate…

  • automated testing
  • web accessibility evaluation
  • XML
  • XSLT
  • dynamic web pages
  • accessibility tools