Automated system-level safety testing using constraint patterns for automotive operating systems.

Taejoon Byun Yunja Choi

Published in: SAC (2015)

Keyphrases

operating system
application level
computer systems
virtual machine
memory management
multi tasking
windows xp
database
data structure
distributed systems
application programs
linux kernel
data model
data management
microsoft windows
operating environment