DMCA

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

by Shay Artzi , Adam Kiezun , Julian Dolby , Frank Tip , Danny Dig , Amit Paradkar , Michael D. Ernst
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:42 - 4 self