DevOps for Developers, Apress, 2012. ,
What is DevOps? O'Reilly Media, 2012. ,
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
Test-Driven Infrastructure with Chef, 2011. ,
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
Testable system administration, Communications of the ACM, vol.54, issue.3, pp.44-49, 2011. ,
DOI : 10.1145/1897852.1897868
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
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
A survey of combinatorial testing, ACM Computing Surveys, vol.43, issue.2, 2011. ,
DOI : 10.1145/1883612.1883618
Idempotence is not a medical condition, Communications of the ACM, vol.55, issue.5, 2012. ,
DOI : 10.1145/2160718.2160734
Building on quicksand, Conference on Innovative Data Systems Research (CIDR, 2009. ,
Why order matters: Turing equivalence in automated systems administration, 16th Conference on Systems Administration (LISA), pp.99-120, 2002. ,
Learning CFEngine 3: Automated system administration for sites of any size, 2012. ,
Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation, 2010. ,
Enabling Efficient Placement of Virtual Infrastructures in the Cloud, 13th Int. Middleware Conf, pp.332-353, 2012. ,
DOI : 10.1145/956981.956988
Cucumber-puppet: http://projects.puppetlabs.com/projects/cucumber-puppet 21, Test Kitchen, vol.20 ,
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
Symbolic execution for software testing in practice, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011. ,
DOI : 10.1145/1985793.1985995
Debugging and testing middleware with aspect-based control-flow and causal patterns, pp.9-183, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00418841
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
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
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
Automating System Tests Using Declarative Virtual Machines, 2010 IEEE 21st International Symposium on Software Reliability Engineering, 2010. ,
DOI : 10.1109/ISSRE.2010.34
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
Configuration debugging as search: finding the needle in the haystack, In: Symp. on Op. Sys. Design & Impl. (OSDI), pp.6-6, 2004. ,
AutoBash: improving configuration management with operating system causality analysis, In: SOSP, 2007. ,