Date Added: Feb 2012
This research paper presents a temporal logic based assertion language that can help in detecting dynamic errors in web applications. Temporal logic may be advantageous because it deals with the development of situations over time. The operators, syntax, and semantic of the language are introduced. Also in this paper, the authors introduce an architecture and software details of agent based dynamic analyzing tool for testing web applications that have been written in JAVA programming language. The tool uses temporal based assertion language to detect run time error in web applications.