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.

Implementation and evaluation of cross translation unit symbolic execution for C family languages

Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki. Implementation and evaluation of cross translation unit symbolic execution for C family languages. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 428, ACM, 2018. [doi]

Authors

Gábor Horváth

This author has not been identified. Look up 'Gábor Horváth' in Google

Péter Szécsi

This author has not been identified. Look up 'Péter Szécsi' in Google

Zoltán Gera

This author has not been identified. Look up 'Zoltán Gera' in Google

Dániel Krupp

This author has not been identified. Look up 'Dániel Krupp' in Google

Norbert Pataki

This author has not been identified. It may be one of the following persons: Look up 'Norbert Pataki' in Google
runs on