Comprehensive Evaluation of Cross Translation Unit Symbolic Execution

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]

Authors

Endre Fülöp

This author has not been identified. Look up 'Endre Fülöp' in Google

Norbert Pataki

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