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