Skip to content
List of free software testing and verification resources
Branch: master
Clone or download
Latest commit 562a544 Apr 5, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
.travis.yml add to exceptions Feb 7, 2019
LICENSE add license Jun 10, 2018 Merge branch 'master' of… Apr 4, 2019 add a list with chats Apr 5, 2019 quickcheck Mar 25, 2019 moved podcasts to a separate file Apr 4, 2019

List of Free Software Testing Resources

Build Status Awesome




This page collects resources for anyone considering the use of software testing and formal methods.

There are many axes along which one can organize such a list, such as the level of expertise of the intended audience (from experts to the public at large) or disciplinary orientation (computer science, mathematics, mathematical logic, etc.). Here I have chosen to classify the material by type of subject matter.

If you would like add something, just send the text as you would like it to appear to, preferrably already formatted in markdown.

Subscribe to receive notificatons.



In English

Software Testing Theory

Standards In software Testing

Testing of Free and OpenSource Software

Testing by different programming languages

Testing Tools

Formal methods

In Russian

Управление проектами

Тестирование ПО

Формальные методы


In English

Software Testing

Fuzz testing

Software Testing Management

User Testing

Security Testing

Performance Testing

Formal Software Verification

Model Checking

In Russian

Тестирование ПО

Формальная верификация ПО

Workshops and interactive learning tools



see podcasts

Bugs and Learned Lessons

Awesome Lists


CC0 Public Domain

To the extent possible under law, Sergey Bronnikov has waived all copyright and related or neighboring rights to this work.

You can’t perform that action at this time.