/awesome-software-quality

List of free software testing and verification resources

MIT LicenseMIT

List of Free Software Testing Resources

Build Status Awesome

sqaunderhood

Introduction

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 estetus@gmail.com, preferrably already formatted in markdown.

Subscribe to receive notificatons.

Index

Books

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

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

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

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

Courses

In English

Software Testing

Fuzz testing

Software Testing Management

User Testing

Security Testing

Performance Testing

Formal Software Verification

Coq
Isabelle/HOL
Agda
Model Checking

In Russian

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

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

Workshops and interactive learning tools

Conferences

Podcasts

see podcasts

Bugs and Learned Lessons

Awesome Lists

License

CC0 Public Domain

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