Doug Hiebert discusses the principles and objectives behind automated testing, TDD, Unit and Integration Testing, using asserting and mocking to write tests, and static analysis.
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.
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-.
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.
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.
Eishay Smith discusses the advantages of using continuous deployment (CD) at a rapid pace, dozens of times a day, the process and the tools needed to attain CD, and practices to ensure code quality.