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:
Online Access:http://hdl.handle.net/1721.1/44956

Similar Items