Endre Fülöp, Norbert Pataki. Comprehensive Evaluation of Cross Translation Unit Symbolic Execution. In Gergely Kovásznai, István Fazekas, Tibor Tómács, editors, Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), Eger, Hungary, January 29-31, 2020. Volume 2650 of CEUR Workshop Proceedings, pages 105-113, CEUR-WS.org, 2020. [doi]
Abstract is missing.