Systematic Test Generation for Secure Hardware Supported Virtualization.
Senwen KanJennifer DworakPublished in: DASC/PiCom/DataCom/CyberSciTech (2017)
Keyphrases
- test generation
- ibm zenterprise
- test cases
- symbolic execution
- design automation
- operating system
- test sequences
- low cost
- hardware and software
- cloud computing
- input output
- software testing
- trusted computing
- mutation testing
- quality assurance
- static analysis
- computer systems
- image processing
- virtual machine
- test data generation
- xml schema
- code coverage
- case study
- xml documents
- wireless sensor networks
- storage management
- software engineering
- data center
- software systems