Selective Symbolization Based Efficient Symbolic Execution

Autor:	Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai
Rok vydání:	2021
Zdroj:	2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C).
DOI:	10.1109/qrs-c55045.2021.00178
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f72f6294af9d70d29e60c81b049cd80c https://doi.org/10.1109/qrs-c55045.2021.00178 Zobrazit plný text záznamu