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]
@inproceedings{KovacsHP19,
title = {Detecting C++ Lifetime Errors with Symbolic Execution},
author = {Réka Kovács and Gábor Horváth and Zoltán Porkoláb},
year = {2019},
doi = {10.1145/3351556.3351585},
url = {https://doi.org/10.1145/3351556.3351585},
researchr = {https://researchr.org/publication/KovacsHP19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 9th Balkan Conference on Informatics, BCI 2019, Sofia, Bulgaria, September 26-28, 2019},
editor = {George Eleftherakis and Milena Lazarova and Adelina Aleksieva-Petrova and Antoniya Tasheva},
publisher = {ACM},
isbn = {978-1-4503-7193-3},
}