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

Dongwoo Kim Yoohee Chung Yunja Choi

Published in: APSEC (2016)

Keyphrases

control software
constraint checking
integrity constraints
deductive databases
distributed databases
control system
source code
federated databases
high level
natural language
database access