N. Amit, D. Tsafrir, A. Schuster, A. Ayoub, and E. Shlomo, Virtual CPU validation, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP '15, pp.311-327, 2015.
DOI : 10.1145/2046707.2046754

B. Kumar, CloudStack ? live migration is failing for vm deployed using dynamic compute offerings with NPE; unhandled exception executing api command: findHostsForMigration java.lang.NullPointerException. https: //issues.apache.org/jira, p.6099, 2014.

S. Bouchenak, G. Chockler, H. Chockler, G. Gheorghe, N. Santos et al., Verifying cloud services, ACM SIGOPS Operating Systems Review, vol.47, issue.2, pp.6-19, 2013.
DOI : 10.1145/2506164.2506167

URL : https://hal.archives-ouvertes.fr/hal-01265437

C. Cadar, D. Dunbar, and D. Engler, KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs, Proceedings of the 8 t h USENIX Conference on Operating Systems Design and Implementation (OSDI'08). USENIX Association, pp.209-224, 2008.

C. Friesen, OpenStack Compute (nova) ? race conditions with server group scheduler policies, 2015.

C. Clark, K. Fraser, S. Hand, J. G. Hansen, E. Jul et al., Live Migration of Virtual Machines, Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation -NSDI'05). USENIX Association, pp.273-286, 2005.

H. Tu, D. , and F. Hermenier, Higher SLA Satisfaction in Datacenters with Continuous VM Placement Constraints, Proceedings of the 9 t h Workshop on Hot Topics in Dependable Systems (HotDep '13, 2013.

F. Hermenier, BtrPlace ? continuous spread fail. https://github.com/ btrplace/scheduler, 2016.

F. Hermenier, BtrPlace ? CShareableResource and 0 capacity/consumption . https://github.com/btrplace/scheduler, p.124, 2016.

S. Haryadi, M. Gunawi, T. Hao, T. Leesatapornwongsa, T. Patanaanake et al., What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems, Proceedings of the ACM Symposium on Cloud Computing (SOCC '14, p.14, 2014.

S. Haryadi, M. Gunawi, R. O. Hao, A. Suminto, A. D. Laksono et al., Why Does the Cloud Stop Computing?: Lessons from Hundreds of Service Outages, Proceedings of the Seventh ACM Symposium on Cloud Computing (SoCC '16, pp.1-16, 2016.

H. Lindgren, OpenStack Compute (nova) ? Affinity filter checks erroneously includes deleted instances, 2013.

F. Hermenier, J. Lawall, and G. Muller, BtrPlace: A Flexible Consolidation Manager for Highly Available Applications, IEEE Transactions on Dependable and Secure Computing, vol.10, issue.5, pp.273-286, 2013.
DOI : 10.1109/TDSC.2013.5

URL : https://hal.archives-ouvertes.fr/hal-00916311

J. Lee, OpenStack Compute (nova) ? Disk filter should not filter for boot volume, 2014.

J. Ni, OpenStack Compute (nova) ? Affinity policy problems with migrate and live-migrate. https://bugs.launchpad, 2015.

D. Leinenbach and T. Santen, Verifying the Microsoft Hyper-V Hypervisor with VCC, Proceedings of the 2 nd World Congress on Formal Methods (FM '09, pp.806-809978, 2009.
DOI : 10.1007/978-3-642-05089-3_51

W. Baptiste-lepers, J. Zwaenepoel, N. Lozi, R. Palix, J. Gouicem et al., Towards Proving Optimistic Multicore Schedulers, Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS '17, pp.18-23, 2017.

J. Lozi, B. Lepers, J. Funston, F. Gaud, V. Quéma et al., The Linux scheduler, Proceedings of the Eleventh European Conference on Computer Systems, EuroSys '16, p.162901326, 2016.
DOI : 10.1145/1736020.1736036

URL : https://hal.archives-ouvertes.fr/hal-01295194

M. Drogalis, BtrPlace ? No solution is found. https://github.com/ btrplace/scheduler, p.112, 2016.

P. Barton, L. Miller, B. Fredriksen, and . So, An Empirical Study of the Reliability of UNIX Utilities, Commun. ACM, vol.33, issue.12, pp.32-44, 1990.

G. Muller, J. L. Lawall, and H. Duchesne, A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation, Proceedings of the 10th IEEE International Workshop on Object- Oriented Real-Time Dependable Systems (WORDS '05, pp.219-230, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00457121

C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker et al., How Amazon web services uses formal methods, Communications of the ACM, vol.58, issue.4, pp.66-73, 2015.
DOI : 10.1145/2185376.2185383

N. Mehta, CloudStack ? CLONE -Allocation capacity of a cluster during HA. https://issues.apache.org/jira, p.4941, 2013.

P. Damle, CloudStack ? userconcentratedpod_firstfit failed to find alternate host to run VM. https://issues.apache.org/jira, p.2158, 2013.

R. Karuturi, CloudStack ? Allocated percentage of storage can go beyond 100%. https://issues.apache.org/jira, p.8896, 2015.

R. Collins, OpenStack Compute (nova) ? gap between scheduler selection and claim causes spurious failures when the instance is the last one to fit, 2014.

V. Kherbache, BtrPlace ? Out Of Bounds Exception. https://github. com/btrplace/scheduler, p.48, 2014.

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and Understanding Bugs in C Compilers, Proceedings of the 32 nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11), 2011.
DOI : 10.1145/2345156.1993532

D. Yuan, Y. Luo, X. Zhuang, G. R. Rodrigues, X. Zhao et al., Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Dataintensive Systems, Proceedings of the 11 t h USENIX Conference on Symposium on Operating System Design & Implementation. USENIX Association, pp.249-265, 2014.