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 direct analogy to program…
automated testing · dynamic web pages · formal verification · PHP · server-side scripting