SolSEE: a source-level symbolic execution engine for solidity

Autor:	Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li
Rok vydání:	2022
Zdroj:	Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
DOI:	10.1145/3540250.3558923
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::436fdef7b1374425939c8ef50847e1d5 https://doi.org/10.1145/3540250.3558923 Zobrazit plný text záznamu