Login / Signup
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems.
Yunja Choi
Published in:
SEFM (2013)
Keyphrases
</>
operating system
test generation
test cases
computer systems
static analysis
software testing
quality assurance
windows xp
formal specification
address space
database
business rules
distributed systems
high level
virtual memory
windows nt
information systems
databases