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.

Detecting C++ Lifetime Errors with Symbolic Execution

Réka Kovács, Gábor Horváth, Zoltán Porkoláb. Detecting C++ Lifetime Errors with Symbolic Execution. In George Eleftherakis, Milena Lazarova, Adelina Aleksieva-Petrova, Antoniya Tasheva, editors, Proceedings of the 9th Balkan Conference on Informatics, BCI 2019, Sofia, Bulgaria, September 26-28, 2019. ACM, 2019. [doi]

Authors

Réka Kovács

This author has not been identified. Look up 'Réka Kovács' in Google

Gábor Horváth

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

Zoltán Porkoláb

This author has not been identified. Look up 'Zoltán Porkoláb' in Google
runs on