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.

Running symbolic execution forever

Frank Busse, Martin Nowack, Cristian Cadar. Running symbolic execution forever. In Sarfraz Khurshid, Corina S. Pasareanu, editors, ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. pages 63-74, ACM, 2020. [doi]

Authors

Frank Busse

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

Martin Nowack

This author has not been identified. Look up 'Martin Nowack' in Google

Cristian Cadar

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