A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing.

Nikolai Kosmatov Matthieu Lemerre Céline Alec

Published in: TAP@STAF (2014)

Keyphrases

virtual machine
formal verification
test generation
cloud computing
symbolic execution
case study
operating system
structural information
java card
face verification
model checking
data center
theorem prover
asynchronous circuits
database
test bed
structural analysis
software testing
test cases
mathematical proofs