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

@article{Artzi2010FindingBI,
  title={Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking},
  author={Shay Artzi and Adam Kiezun and Julian Dolby and Frank Tip and Danny Dig and Amit M. Paradkar and Michael D. Ernst},
  journal={IEEE Transactions on Software Engineering},
  year={2010},
  volume={36},
  pages={474-494}
}
Web script crashes and malformed dynamically generated webpages are common errors, and they seriously impact the usability of Web applications. Current tools for webpage validation cannot handle the dynamically generated pages that are ubiquitous on today's Internet. We present a dynamic test generation technique for the domain of dynamic Web applications. The technique utilizes both combined concrete and symbolic execution and explicit-state model checking. The technique generates tests… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 117 CITATIONS

Fault Localization for Dynamic Web Applications

  • IEEE Transactions on Software Engineering
  • 2012
VIEW 23 EXCERPTS
CITES METHODS & BACKGROUND

Model checking techniques for vulnerability analysis of Web applications

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Z3-str: a z3-based string solver for web application analysis

VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Automated repair of HTML generation errors in PHP applications using string constraint solving

  • 2012 34th International Conference on Software Engineering (ICSE)
  • 2012
VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND

Practical fault localization for dynamic web applications

  • 2010 ACM/IEEE 32nd International Conference on Software Engineering
  • 2010
VIEW 18 EXCERPTS
CITES METHODS

2 Input Value Changes for Breaking HTML Documents

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Novel Dynamic Fault Localization for Server side Vulnerabilities

C. P. Shabariram, V. Sharmila, J. Francy, R. Anandhi
  • 2014
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2009
2019

CITATION STATISTICS

  • 13 Highly Influenced Citations

  • Averaged 7 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-10 OF 45 REFERENCES