Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking

Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page validation cannot handle the dynamically generated pages that are ubiquitous on today's Internet. We present a dynamic test...

Full description

Bibliographic Details
Main Authors: Tip, Frank, Ernst, Michael D., Dig, Danny, Dolby, Julian, Kiezun, Adam, Artzi, Shay, Paradkar, Amit
Other Authors: Michael Ernst
Published: 2009
Subjects:
Software Testing
PHP
Dynamic Analysis
Online Access:http://hdl.handle.net/1721.1/44956

Internet

http://hdl.handle.net/1721.1/44956

Similar Items