M. Hüttermann, DevOps for Developers, Apress, 2012.

M. Loukides, What is DevOps? O'Reilly Media, 2012.

A. Schaefer, M. Reichenbach, and D. Fey, Continuous Integration and Automation for Devops, IAENG Trans. on Engineering Technologies, vol.170, pp.345-358, 2013.
DOI : 10.1007/978-94-007-4786-9_28

S. Nelson-smith, Test-Driven Infrastructure with Chef, 2011.

A. Couch and Y. Sun, On the Algebraic Structure of Convergence, 14th Int. Workshop on Distr. Systems: Operations and Management (DSOM), pp.28-40, 2003.
DOI : 10.1007/978-3-540-39671-0_4

M. Burgess, Testable system administration, Communications of the ACM, vol.54, issue.3, pp.44-49, 2011.
DOI : 10.1145/1897852.1897868

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2012.
DOI : 10.1002/stvr.456

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

J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, Generating test data from statebased specifications. Software Testing, pp.25-53, 2003.
DOI : 10.1002/stvr.264

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.9560

C. Nie and H. Leung, A survey of combinatorial testing, ACM Computing Surveys, vol.43, issue.2, 2011.
DOI : 10.1145/1883612.1883618

P. Helland, Idempotence is not a medical condition, Communications of the ACM, vol.55, issue.5, 2012.
DOI : 10.1145/2160718.2160734

P. Helland and D. Campbell, Building on quicksand, Conference on Innovative Data Systems Research (CIDR, 2009.

S. Traugott, Why order matters: Turing equivalence in automated systems administration, 16th Conference on Systems Administration (LISA), pp.99-120, 2002.

D. Zamboni, Learning CFEngine 3: Automated system administration for sites of any size, 2012.

J. Humble and D. Farley, Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation, 2010.

I. Giurgiu, C. Castillo, A. Tantawi, and M. Steinder, Enabling Efficient Placement of Virtual Infrastructures in the Cloud, 13th Int. Middleware Conf, pp.332-353, 2012.
DOI : 10.1145/956981.956988

. Chefspec, Cucumber-puppet: http://projects.puppetlabs.com/projects/cucumber-puppet 21, Test Kitchen, vol.20

A. Pretschner, Model-based testing, Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on, pp.722-723, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00940611

C. Cadar and P. Godefroid, Symbolic execution for software testing in practice, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985995

L. D. Navarro, R. Douence, and M. Südholt, Debugging and testing middleware with aspect-based control-flow and causal patterns, pp.9-183, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00418841

W. Hummer, O. Raz, O. Shehory, P. Leitner, and S. Dustdar, Testing of data-centric and event-based dynamic service compositions, Software Testing, Verification and Reliability, vol.5, issue.2, 2013.
DOI : 10.1002/stvr.1493

S. Bucur, V. Ureche, C. Zamfir, and G. Candea, Parallel symbolic execution for automated real-world software testing, Proceedings of the sixth conference on Computer systems, EuroSys '11, pp.183-198, 2011.
DOI : 10.1145/1966445.1966463

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.487.4417

G. Candea, S. Bucur, and C. Zamfir, Automated software testing as a service, Proceedings of the 1st ACM symposium on Cloud computing, SoCC '10, pp.155-160, 2010.
DOI : 10.1145/1807128.1807153

S. Van-der-burg and E. Dolstra, Automating System Tests Using Declarative Virtual Machines, 2010 IEEE 21st International Symposium on Software Reliability Engineering, 2010.
DOI : 10.1109/ISSRE.2010.34

G. Casale, A. Kalbasi, D. Krishnamurthy, and J. Rolia, Automatic Stress Testing of Multi-tier Systems by Dynamic Bottleneck Switch Generation, 10th International Middleware Conference, pp.1-2020, 2009.
DOI : 10.1007/978-3-642-10445-9_20

A. Whitaker, R. Cox, and S. Gribble, Configuration debugging as search: finding the needle in the haystack, In: Symp. on Op. Sys. Design & Impl. (OSDI), pp.6-6, 2004.

Y. Y. Su, M. Attariyan, and J. Flinn, AutoBash: improving configuration management with operating system causality analysis, In: SOSP, 2007.