Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems.

Yunja Choi Min Zhang Kazuhiro Ogata

Published in: APSEC (1) (2014)

Keyphrases

operating system
test generation
computer systems
virtual machine
test cases
windows xp
distributed systems
quality assurance
operating environment
high level
application programs
information systems
static analysis
windows nt