Finding bugs in web applications using dynamic test generation and explicit state model checking. (2010)

by S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, M D Ernst
Venue:IEEE Transactions on Software Engineering,