Verifying interactive Web programs

  title={Verifying interactive Web programs},
  author={Daniel R. Licata and Shriram Krishnamurthi},
  journal={Proceedings. 19th International Conference on Automated Software Engineering, 2004.},
Web programs are important, increasingly representing the primary public interfaces of commercial organizations. Unfortunately, Web programs also exhibit numerous flaws. In addition to the usual correctness problems faced by software, Web programs must contend with numerous subtle user operations such as clicking the Back button or cloning and submitting a page multiple times. Many existing Web verification tools fail to even consider, much less effectively handle, these operations. This work… CONTINUE READING
Highly Cited
This paper has 54 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

54 Citations

Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

Big, curved and road-ready

  • M. Slatalla
  • Book it. New York Times,
  • 2003
1 Excerpt

Verifying interactive web programs

  • D. Licata, S. Krishnamurthi
  • Technical Report CS-03-18, Brown University
  • 2003
1 Excerpt

Similar Papers

Loading similar papers…