Download now Free registration required
Web application script crashes and malformed dynamically generated web pages are common errors and they seriously impact the usability of Web applications. Static analysis tools for web page validation cannot handle the dynamically generated pages that are ubiquitous on today's Internet. The authors present a dynamic test generation technique for the domain of dynamic Web application, utilizes both combined concrete and symbolic execution. The technique generates tests automatically, runs the tests capturing logical constraints on inputs, and minimizes the conditions on the inputs to failing tests so that the resulting bug reports are small and useful in finding and fixing the underlying faults. They are implementing the PHP Programming language test using Apollo.
- Format: PDF
- Size: 467 KB