Curated list of awesome lists
List of Free Software Testing Resources
There is a list of free programming
ebooks. And I have decided to
create a similar list with books, courses and podcasts about software quality.
Subscribe to receive notificatons.
- Alexander Todorov (Open source QA, Senior QA engineer at Red Hat):
There's a huge list of free books on the topic of software testing.
This will definitely be my summer reading list. I hope you find it helpful.
Just found this gold and feel like I have to share it with the best testing community: Free Books about Software Testing!
Software Testing Theory
Standards In software Testing
Testing of Free and OpenSource Software
Testing by different programming languages
Learn TLA+ - Hillel Wayne @hwayne
Specifying Systems - Leslie Lamport
The TLA+ Hyperbook - Leslie Lamport
Books and papers about TLA+ and formal verification by Leslie Lamport
Alloy Documentation - Daniel Jackson
Introduction to Spin - Multiple Authors
- Software Foundations: 4.0, current, draft
, epub - Benjamin C. Pierce & Co
Verified Functional Algorithms - Andrew W. Appel
Foundations of Computer Science - Dr Larry Paulson
Principles of Model Checking - Christel Baier, Joost-Pieter Katoen
Certified Programming with Dependent Types - Adam Chlipala @achlipala
Formal Reasoning About Programs - Adam Chlipala @achlipala
Concrete Semantics - Tobias Nipkow and Gerwin Klein @lsf37
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
Design and validation of computer protocols - Gerard J. Holzmann
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
Is Parallel Programming Hard, And, If So, What Can You Do About It? (chapters "Validation" and "Formal verification") - Paul E. McKenney @paulmckrcu
Formal Methods of Software Design
Software Testing Management
Formal Software Verification
Формальная верификация ПО
To the extent possible under law, Sergey Bronnikov has
waived all copyright and related or neighboring rights to this work.