Open AccessComparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Author(s) -
Dongwoo Kim,
Yunja Choi
Publication year - 2016
Publication title -
jeongbo cheori hakoe nonmunji. sopeuteuweeo mit deiteo gonghak/jeongbo cheori hakoe nonmunji. sopeuteu weeo mit deiteo gonghak
Language(s) - English
Resource type - Journals
eISSN - 2734-0503
pISSN - 2287-5905
DOI - 10.3745/ktsde.2016.5.12.615
Subject(s) - computer science , model checking , automotive industry , constraint (computer aided design) , set (abstract data type) , automaton , software , source code , programming language , code (set theory) , software engineering , theoretical computer science , engineering , mechanical engineering , aerospace engineering