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 -
the transactions of the korean institute of electrical engineers p
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 , quantum mechanics , power (physics) , statistics , physics , mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom