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.

Combining static analysis error traces with dynamic symbolic execution (experience paper)

Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson. Combining static analysis error traces with dynamic symbolic execution (experience paper). In Sukyoung Ryu, Yannis Smaragdakis, editors, ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. pages 568-579, ACM, 2022. [doi]

Authors

Frank Busse

This author has not been identified. Look up 'Frank Busse' in Google

Pritam Gharat

This author has not been identified. Look up 'Pritam Gharat' in Google

Cristian Cadar

This author has not been identified. Look up 'Cristian Cadar' in Google

Alastair F. Donaldson

This author has not been identified. Look up 'Alastair F. Donaldson' in Google
runs on