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...
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
-
Finding Bugs In Dynamic Web Applications
by: Artzi, Shay, et al.
Published: (2008) -
Web-based supervisor searching system for final year project students / Nurul Farhana Mohd Salim
by: Mohd Salim, Nurul Farhana
Published: (2015) -
Student Assistance Application (SAA) based on user availability and distance / Amin Shafiq Mohd Zuki
by: Mohd Zuki, Amin Shafiq
Published: (2017) -
Dynamically fighting bugs : prevention, detection and elimination
by: Artzi, Shay
Published: (2010) -
Theories in Practice: Easy-to-Write Specifications that Catch Bugs
by: Saff, David, et al.
Published: (2008)