Software testing theory

• Perspectives on Agile Software Testing
• Programs and Proofs. Mechanizing Mathematics with Dependent Types.
• Software testing – Ron Patton
• Measure Software Quality using Application Security (WIP) – Dinis Cruz
• Acceptance Test Engineering Guide, Vol. I – RC1
• A Software Testing Primer (PDF)
• Classic Testing Mistakes (PDF) – Brian Marick
• Code Coverage Analysis – Steve Cornett
• Practical Software Testing – STH in association with Chindam Damodar
• A Tutorial in Exploratory Testing (PDF)
• Essential Acceptance Testing
• Embedded Software Testing Methods Juho Lepistö
• Foundations of Software Testing: Fundamental Algorithms and Techniques Aditya P. Mathur
• Introduction to software testing (PDF)
• I am a bug!
• Manual Testing Help
• Mobile Testing: Ready Reckoner (PDF) – Ajay Balamurugadas, Sundaresan Krishnaswami
• Performance Testing Guidance
• Random testing book DRAFT
• Software Testing: A Comprehensive Approach – Bill Laboon
• Common System and Software Testing Pitfalls – Donald G. Firesmith
• Software Testing Tutorial
• Software Testing Dictionary
• The Way of Testivus
• The Littleblack Book On Test Design (PDF)
• The Essential Guide to Mobile App Testing (PDF)
• UI and UX Testing: Ready Reckoner (PDF) – Ajay Balamurugadas
• What If: A collection of tips from a software tester (PDF) – Ajay Balamurugadas
• What If: 50+ tips to win testing contests (PDF) – Ajay Balamurugadas
• What If: 50+ tips to boost your productivity (PDF) – Ajay Balamurugadas
• What If: 50+ tips to improve tester-programmer relationship (PDF) – Ajay Balamurugadas
• Handbook of Software Reliability Engineering

Standards in software testing

• Testing Standards Working Party
• The International Software Testing Standard
• Standard for Software Component Testing (PDF)
• Everything You Need to Know About Software Test Formats (in Russian)
• Software Testing Standards in NASA
• ECSS-Q-ST-80C Rev.1 – Software product assurance
• NASA Software Safety Guidebook

Testing of Free and OpenSource Software

• Quality Improvement in Volunteer Free and Open Source Software Project (PDF)
• Testing and quality management of free and open source software (WIP) – Sergey Bronnikov

Testing with different programming languages

• PHPUnit PHP Test-Driven Development – Automated Tools to Improve Your PHP Code Quality
• Practical PHP testing
• Testing Erlang
• Testing in Scala
• Test-Driven Web Development with Python
• Test-Driven Development – Extensive Tutorial – Grzegorz Gałęzowski
• Testing and Debugging JavaScript
• Web Application Testing in Ruby Željko Filipin

Testing Tools

• The Evolving Art of Fuzzing (PDF) – Jared DeMott
• AccelTest (PDF)
• .NET Performance Testing and Optimization – The Complete Guide (zip) – RedGate, By Paul Glavich and Chris Farrell
• Record-Playback Test Automation: Sahi & Selenium IDE
• Selenium 2.0 Using the WebDriver API to Create Robust User Acceptance Tests
• TestNG Tutorial
• JUnit Tutorial
• PropEr Testing
• Better Unit Testing with Microsoft Fakes
• Testing for Continuous Delivery with Visual Studio 2012

Formal verification

• Specifying Systems – Leslie Lamport
• The TLA+ Hyperbook – Leslie Lamport
• Software Foundations (4.0, current) – Benjamin C. Pierce & Co
• Books and papers about TLA+ and formal verification by Leslie Lamport
• Programs and Proofs – Ilya Sergey
• Certified Programming with Dependent Types – Adam Chlipala
• Verified Functional Algorithms – Andrew W. Appel
• Foundations of Computer Science
• Software Foundations
• Concrete Semantics
• ML for the Working Programmer, 2nd Edition
• Proofs and Types
• Proof assistants: History, ideas and future