Semantics-based automated web testing

Hai Feng Guo, Qing Ouyang, Harvey Siy

Research output: Contribution to journalConference articlepeer-review


We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated delta debugging, where a failing web test script can be systematically reduced based on grammar-directed strategies. A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.

Original languageEnglish (US)
Pages (from-to)59-74
Number of pages16
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
StatePublished - Aug 14 2015
Event11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 - Oslo, Norway
Duration: Jun 23 2015 → …

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Semantics-based automated web testing'. Together they form a unique fingerprint.

Cite this