External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng., 36(4):474-494, 2010. [doi]

Authors

Shay Artzi

This author has not been identified. Look up 'Shay Artzi' in Google

Adam Kiezun

This author has not been identified. Look up 'Adam Kiezun' in Google

Julian Dolby

This author has not been identified. Look up 'Julian Dolby' in Google

Frank Tip

Identified as Frank Tip

Danny Dig

This author has not been identified. Look up 'Danny Dig' in Google

Amit M. Paradkar

This author has not been identified. Look up 'Amit M. Paradkar' in Google

Michael D. Ernst

This author has not been identified. Look up 'Michael D. Ernst' in Google
runs on