External Links

Cite Key

Statistics

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

PDF

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.

Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing

Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller. Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. In 8th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2015, Florence, Italy, May 18-19, 2015. pages 32-35, IEEE, 2015. [doi]

Authors

Kevin Salvesen

This author has not been identified. Look up 'Kevin Salvesen' in Google

Juan P. Galeotti

This author has not been identified. Look up 'Juan P. Galeotti' in Google

Florian Gross

This author has not been identified. Look up 'Florian Gross' in Google

Gordon Fraser

This author has not been identified. It may be one of the following persons: Look up 'Gordon Fraser' in Google

Andreas Zeller

This author has not been identified. Look up 'Andreas Zeller' in Google
runs on