Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine

Autor:	Norihiro Yoshida, Takahiro Shimizu, Ryota Yamamoto, Hiroaki Takada
Rok vydání:	2021
Zdroj:	2021 28th Asia-Pacific Software Engineering Conference (APSEC).
DOI:	10.1109/apsec53868.2021.00072
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::8a6cd4c6ab9d5eaecd3f2ba466d4a35a https://doi.org/10.1109/apsec53868.2021.00072 Zobrazit plný text záznamu