Proving the validity and accessibility of dynamic web-pages

Roger G. Stone · Jatinder Dhiensa

5 citations0/0 files storedInternational Web for All Conference (W4A)

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Digital Accessibility for Disabilities Software Testing and Debugging Techniques Web Applications and Data Management

Abstract

If a static web-page is checked for accessibility and passes then all is well. However checking the accessibility of the output from a dynamic (scripted) web-page is like testing a program to find errors. However many times a test succeeds it is always possible that the program will produce bad output next time. What is needed is something closer to a proof of correctness. This paper describes a first attempt to provide a proof of validity for dynamic web-pages which can be extended to a proof of accessibility.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 5 citations exist upstream.

References

2002Achieving web accessibility

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.