Constraint-based test generation for automotive operating systems.

Yunja Choi Taejoon Byun

Published in: Softw. Syst. Model. (2017)

Keyphrases

operating system
test generation
test cases
computer systems
static analysis
quality assurance
distributed systems
virtual machine
operating environment
information systems
monitoring system
model checking
application programs
address space
windows xp
multi tasking