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

Dongwoo Kim Yunja Choi

Published in: ICITCS (2016)

Keyphrases

lightweight
control software
mashup
control system
pattern mining
high level
open source
data mining techniques
rfid tags
application programming interface
communication infrastructure
web services
wireless sensor networks
source code
np complete
linear constraints