Automatic extraction and verification of page transitions in a web application

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)

    Abstract

    Demand for reliability in Web applications has increased greatly in recent years as they have begun to be used more for enterprise applications. Model checking is an effective way to increase software reliability, but because most Web applications have short delivery times, preparation and application costs make it difficult to introduce model-checking techniques into the development process. In this paper, we propose a technique for automatically extracting page transitions from a Web application that has been developed using a Web application framework, such as Struts configuration files and Java Server Page templates, and transforming it into a format that can be used by existing model-che eking tools. Using the proposed technique, Web application developers will be able to reduce the preparation and application costs of introducing model-checking techniques.

    Original languageEnglish
    Title of host publicationProceedings - Asia-Pacific Software Engineering Conference, APSEC
    Pages350-357
    Number of pages8
    DOIs
    Publication statusPublished - 2007
    Event14th Asia Pacific Software Engineering Conference, ASPCE 2007 - Nagoya
    Duration: 2007 Dec 42007 Dec 7

    Other

    Other14th Asia Pacific Software Engineering Conference, ASPCE 2007
    CityNagoya
    Period07/12/407/12/7

      Fingerprint

    ASJC Scopus subject areas

    • Engineering(all)

    Cite this

    Kubo, A., Washizaki, H., & Fukazawa, Y. (2007). Automatic extraction and verification of page transitions in a web application. In Proceedings - Asia-Pacific Software Engineering Conference, APSEC (pp. 350-357). [4425874] https://doi.org/10.1109/APSEC.2007.31