Light-Weight API-Call Safety Checking for Automotive Control Software Using Constraint Patterns

Dongwoo Kim, Yunja Choi. Light-Weight API-Call Safety Checking for Automotive Control Software Using Constraint Patterns. In 6th International Conference on IT Convergence and Security, ICITCS 2016, Prague, Czech Republic, September 26, 2016. pages 1-5, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.