Since our society will become increasingly dependent on these applications, correctness of software becomes a matter that cannot be neglected. Failures of any of these systems would cause great inconvenience and could conceivably result in great financial losses for a company, destruction of property, and damage to the environment. For these reasons, the quality assurance of future web applications is extremely important to ensure that they meet high quality and dependability requirements.