Railway Software Analysis Tool using Symbolic Execution Method

Autor:	Jong-Gyu Hwang, Duck-Ho Shin, Hyun-Jeong Jo
Rok vydání:	2016
Předmět:	Computer science Programming language Concolic testing Software analysis pattern Symbolic execution computer.software_genre computer
Zdroj:	The Transactions of the Korean Institute of Electrical Engineers P. 65:242-249
ISSN:	1229-800X
DOI:	10.5370/kieep.2016.65.4.242
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::62e2e7dc056cffb6f390c96b13908d8b https://doi.org/10.5370/kieep.2016.65.4.242 Zobrazit plný text záznamu