Model-Based API-Call Constraint Checking for Automotive Control Software.

Dongwoo Kim, Yoohee Chung, Yunja Choi

Browse the full APSEC paper archive.