Daniel Spiewak and Aaron Bedra take a look at code verifying starting with Tony Hoare’s paper on testing(1969), type theory, and language-integrated proof systems.
Gareth Rushgrove offers advice, code samples, and introduces tools - Puppet, Chef and CloudFormation – helpful for automating every infrastructure operations.
Mike Andrews discusses architecting for failure even you when don’t know what might fail.
Julian Harty covers various challenges and practices for testing applications for mobile devices.
Karl Krukow discusses the importance of automated functional testing of native mobile applications, suggesting using Calabash –a Cucumber-like tool- and LessPainful –an online testing service-.
Baruch Sadogursky demonstrates automated building techniques using Maven/Gradle/Custom scripts and Binary Repository along with common pitfalls that are to be avoided.
Roberto Salama presents a regression testing framework built at Morgan Stanley with FitNesse, Scala, and KDB/Q, and used to run over 10,000 regression tests.
Antoni Batchelli introduces Pallet, a devops platform for the JVM for provisioning and configuring servers, configuring clustered services, deploying and managing software, servers and services.
Jinesh Varia discusses automating continuous integration, continuous deployment and continuous optimization in the context of using cloud computing services.
Markus Püschel proposes to solve scientific calculation performance problems with code generation tools, introducing Spiral, an automatic performance programming framework for linear transforms.
Heath Borders introduces several testing tools for iOS - OCUnit, Google Toolbox for Mac (GTM), GHUnit, UISpec, UIAutomation, OCMock – making some recommendations on which is better.
Ryan Slobojan discusses how to perform issue tracking, code review, commits and builds in an automated manner by integrating Git, Gerrit, Hudson and Mylyn.