Books in English

In English

Software Testing Theory

• 101 TDD Tips
• Test Driven Development
• "UI Testing Best Practices"
• Software Testing: From Theory to Practice
• Perspectives on Agile Software Testing
• A Practical Guide to Testing in DevOps
• Measure Software Quality using Application Security (WIP) - Dinis Cruz
• Is Parallel Programming Hard, And, If So, What Can You Do About It? (chapters "Validation" and "Formal verification") - Paul E. McKenney
• The "A" Word - Alan Page
• Professional Software Development (Chapter: "5. Software Quality") - Mike G. Miller
• 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)
• 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
• Software Testing Tutorial
• Software Testing Dictionary
• The Way of Testivus
• 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
• Mutation Testing: Better Code by Making Bugs - Filip van Laenen
• The Tao of Testing. A Field Manual for Software Engineers. - Jason Polites
• Observing and Reasoning About Errors
• The Little Black Book On Test Design -- Rikard Endgren
• Generating Software Tests. Breaking Software for Fun and Profit. -- by Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler
• Software Testing and Analysis: Process, Principles, and Techniques -- Mauro Pezze, Michal Young (slides)
• Software Testing Glossary
• Quality Assistance and here and for youtube
• Chaos Engineering: Crash test your applications

Standards In software Testing

• 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
• Системная и Программная Инженерия: ГОСТ Р 56922—2016/ISO/IEC/IEEE 29119- 3:2013
• DO-278
• DO-178B

Testing of Free and OpenSource Software

• Quality Improvement in Volunteer Free and Open Source Software Project (PDF)

Testing by 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 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)
• A Step-by-Step Guide to Functional Testing with TestComplete
• HP Quality Center Tutorial
• HP QuickTest Professional Tutorial
• .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
• SoapUI 101: Beginner's Guide to Functional Testing
• PropEr Testing - Fred Hebert

Formal methods

• Programs and Proofs. Mechanizing Mathematics with Dependent Types. - Ilya Sergey
• Specifying Systems - Leslie Lamport
• The TLA+ Hyperbook - Leslie Lamport
• Introduction to Spin - Multiple Authors
• Software Foundations, https://www.cis.upenn.edu/~bcpierce/sf/current/index.html - Benjamin C. Pierce & Co
• Foundations of Computer Science - Dr Larry Paulson
• Principles of Model Checking - Christel Baier, Joost-Pieter Katoen
• Certified Programming with Dependent Types - Adam Chlipala
• Formal Reasoning About Programs - Adam Chlipala
• Concrete Semantics - Tobias Nipkow and Gerwin Klein
• ML for the Working Programmer, 2nd Edition - Lawrence C. Paulson
• Proofs and Types - Jean-Yves Girard, Yves Lafont and Paul Taylor
• Proof assistants: History, ideas and future - H. Geuvers
• Introduction to Logic - Michael Genesereth, Eric Kao (Stanford University)
• An Introduction to Formal Logic - P.D. Magnus (University at Albany)
• A Problem Course in Mathematical Logic - Stefan Bilaniuk (Trent University)
• Language, Proof, and Logic - Jon Barwise, John Etchemendy
• Mathematical Logic - Helmut Schwichtenberg
• Mathematical Logic - Stephen G. Simpson (Pennsylvania State University)
• Formal Logic - Miguel Palomino
• More books...
• Formal Methods of Software Design