@inproceedings{ba77802cbe0b4ba2b0a10536850adcd0,
title = "Light-weight API-call safety checking for automotive control software using constraint patterns",
abstract = "We present a background constraint checker that helps to detect constraint violations regarding API call sequences in automotive software development. Our tool traces API call sequences in a program and warns programmers if they violate pre-defined constraint patterns identified from international standard for automotive operating systems. The background constraint checker implements constraint patterns as C library functions and uses the model checker CBMC as its underlying checking engine. The tool is developed in Java and is validated through a series of experiments.",
author = "Dongwoo Kim and Yunja Choi",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 6th International Conference on IT Convergence and Security, ICITCS 2016 ; Conference date: 26-09-2016 Through 29-09-2016",
year = "2016",
month = nov,
day = "9",
doi = "10.1109/ICITCS.2016.7740348",
language = "English",
series = "2016 6th International Conference on IT Convergence and Security, ICITCS 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2016 6th International Conference on IT Convergence and Security, ICITCS 2016",
address = "United States",
}