Open AccessRailway Software Analysis Tool using Symbolic Execution Method
Author(s) -
Hyun-Jeong Jo,
Jong-Gyu Hwang,
Duck-Ho Shin
Publication year - 2016
Publication title -
jeon'gi haghoe nonmunji. p/the transactions p of the korean institute of electrical engineers
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2586-7792
pISSN - 1229-800X
DOI - 10.5370/kieep.2016.65.4.242
Subject(s) - computer science , dependency (uml) , software reliability testing , software , software system , software construction , coding (social sciences) , software engineering , symbolic execution , reliability engineering , regression testing , software development , avionics software , reliability (semiconductor) , software quality , operating system , engineering , power (physics) , statistics , physics , mathematics , quantum mechanics