WebMate: Generating Test Cases for Web 2.0
Symbolic execution and program testing