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]
No reviews for this publication, yet.