Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-software-quality
List of free software testing and verification resources
https://github.com/eric-erki/awesome-software-quality
- )
- Software Testing Glossary
- Quality Assistance - quality-assurance-to-quality-assistance-32ffc990d27b) and for [youtube](https://youtu.be/9giJYYag6wQ)
- Testing Standards Working Party
- The International Software Testing Standard
- Standard for Software Component Testing
- Everything You Need to Know About Software Test Formats
- Software Testing Standards in NASA
- ECSS-Q-ST-80C Rev.1 – Software product assurance
- СИСТЕМНАЯ И ПРОГРАММНАЯ ИНЖЕНЕРИЯ: ГОСТ Р 56922—2016/ISO/IEC/IEEE 29119- 3:2013
- DO-178B
- Quality Improvement in Volunteer Free and Open Source Software Project
- 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
- The Evolving Art of Fuzzing - Jared DeMott
- AccelTest
- 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 - 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
- TestNG Tutorial
- JUnit Tutorial
- PropEr Testing - Fred Hebert
- Better Unit Testing with Microsoft Fakes
- Testing for Continuous Delivery with Visual Studio 2012
- Testing mypy stubs, plugins, and types - Nikita Sobolev
- 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
- 4.0
- 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
- 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? - Paul E. McKenney @paulmckrcu
- More books...
- Formal Methods of Software Design
- Software Engineering: Introduction
- Software Debugging
- Software Analysis & Testing
- Fundamentals of TDD
- Critical Reasoning for Beginners
- Reasoning Across the Disciplines
- Discrete Mathematics and Probability Theory
- Mathematical Logic
- Engineering Ethics
- Engineering Ethics
- Part 1 - nG4sXgCtJ), [Part 3](https://www.youtube.com/playlist?list=PLAwxTw4SYaPkoQFThzsc9e7Fe3QV_KJCs)
- Test Automation Universities
- Java Web UI Path
- Java API Path
- Java Mobile Path
- JavaScript Web UI Path
- JavaScript API Path
- JavaScript Mobile Path
- Python Web UI Path
- Python Mobile Path
- C# Web UI Path
- Ruby Web UI Path
- Swift Mobile Path
- Codeless Path
- Black Box Software Testing course - Cem Kaner, J.D. Ph.D.
- Software Testing
- Embedded Software Testing
- Software Testing Fundamentals
- Software Testing Methods
- QA Academy
- QA and Automation course
- Software Testing and Verification
- Introduction to Software Testing
- Software Testing - Black-box Strategies and White-box Testing
- Diploma in Software Testing
- Software Testing - Testing Levels and Object-Oriented Program Testing
- Software Testing - Condition Coverage and Mutation Testing Strategies
- Software Testing Training
- Quality Center Training
- QTP Training
- Selenium Tutorials
- Selenium WebDriver Course
- Software Testing - Mauro Pezz
- Intro: Unknown vulnerability management and discovery using fuzzing
- Part 1: What are unknown vulnerabilities and why should I care
- Part 2: What is fuzz testing, and where does it fit in the world of software?
- Part 3: How and why fuzz testing, and managing your unknown vulnerabilities saves money
- Part 4: Fuzz testing techniques: unfuzzing the fuzzing
- Software Testing Management
- Introduction to User Testing
- Software security
- Performance Engineering of Software Systems
- LoadRunner Tutorials
- Computer Systems Analysis
- Formal Specification
- Formal Software Verification - software-verification-usmx-university-maryland-university-stv1-3x)
- Logic, Languages, Compilation, and Verification
- A survey of automated theorem proving
- Tutorials and advanced lectures
- Types Project
- Introduction to Formal Systems and Computation
- CSE 814 Formal Methods in Software Engineering
- A survey of automated theorem proving - John Harrison
- Coq in a Hurry
- Introduction to the Coq Proof Assistant
- Coq Intensive - DeepSpec Summer School
- Interactive Computer Theorem Proving
- Coq tutorials
- Type Theory and Coq
- Logical Verification
- Modelling and verifying algorithms in Coq: an introduction
- Formal Reasoning About Programs
- Software foundations in Coq 0.1 - Benjamin Pierce
- Compiler Certification
- Advanced Topics in Software Verification
- Theorem Proving - Principles, Techniques, Applications
- Programming Language Foundations in Agda
- Model Checking Concurrent Programs
- Software Verification - Natasha Sharygina
- Alloy Courses
- The TLA+ Video Course
- Dr. TLA+ Series
- Theorem Proving and Model Checking in PVS - Edmund M. Clarke
- System Validation: Automata and behavioural equivalences
- System Validation (2): Model process behaviour
- System Validation (3): Requirements by modal formulas
- System Validation (4): Modelling Software, Protocols, and other behaviour
- Черная книга менеджера - 03-01/black_book.pdf), [epub](http://labs.stratoplan.ru/wmbook-03-01/black_book.epub), [mobi](http://labs.stratoplan.ru/wmbook-03-01/black_book.mobi)) Слава Панкратов
- Белая книжная полка менеджера - 03-01/wmbook.epub), [mobi](http://labs.stratoplan.ru/wmbook-03-01/wmbook.mobi), [zip](http://labs.stratoplan.ru/wmbook-03-01/wmbook.zip))
- pdf - 03-01/it_manager.epub), [mobi](http://labs.stratoplan.ru/wmbook-03-01/it_manager.mobi)) - Слава Панкратов, Александр Орлов
- It starts with a great product
- Test-Driven Development in Practice - Сергей Борисов
- Тестирование программного обеспечения. Базовый курс. - Святослав Куликов
- Всё, что вам нужно знать о форматах отчётов в тестировании ПО - Сергей Бронников
- Руководство по тестированию пользовательского опыта для сайтов, мобильных приложений и прототипов
- Автоматизация тестирования от «А» до «Ы» - Gennadiy Alpaev
- Учебник по SilkTest - Gennadiy Alpaev
- Учебник по TestComplete - Gennadiy Alpaev
- Верификация программ методом Model Checking - А.М.Миронов
- Практикум по математической логике. Coq.
- Основы программной инженерии - _cKNuVAYAWPPoDKwsZJcyOWmNiVPT4D) - Владимир Ицыксон
- Основы программной инженерии (SWEBOK 2004 на русском) в EPUB и HTML
- Введение в программную инженерию
- Введение в технологию программирования
- Юнит-тестирование и метрики покрытия кода тестами
- Методы анализа и обеспечения качества ПО
- Основы тестирования программного обеспечения
- Основы тестирования ПО
- Основы тестирования программного обеспечения
- Школа автоматизации процессов разработки
- Школа тестирования баннерной системы
- Software Testing
- на английском - Testing-101-ru.pdf))
- Software Testing 102
- Software Testing 103
- Тестирование ПО
- Ручное тестирование и Автоматизация тестирования - lI8MMR))
- Тестирование на основе моделей - _cKNuVAYAU1LAGzq5S0ARQjXs3TAY3K) - Кулямин Виктор
- Серия семинаров по тестированию (автоматизация) - Сергей Андреев
- Тестирование ПО: Базовый уровень - курс основан на официальной программе обучения "Сертифицированный тестировщик ПО Базового уровня" ISTQB и предназначен для подготовки к сдаче сертификационных экзаменов
- Верификация программ на моделях
- Верификация параллельных и распределенных программных систем - _cKNuVAYAUw3pNeradNr8zwOXKQ1IZA) - Юрий Карпов
- Формальные методы обеспечения качества ПО
- Верификация программного обеспечения
- Software Verification
- Введение в формальные методы верификации программ - - А.С. Камкин
- Методы верификации программного обеспечения - - В.В. Кулямин
- Формальная спецификация и верификация программ - content/uploads/2015/07/Deductive-Verification-Practicum.pdf))
- Введение в язык формальной верификации Coq - Антон Трунов
- Введение в верификацию программ - Антон Трунов (спецкурс для МФТИ)
- Software Testing
- Foundations of Software Testing - Glossary
- ISTQB Glossary of Terms in Software testing
- Coding and Design
- Design Patterns
- Object Oriented Design Patterns
- Regular Expressions
- 106 Linux Commands
- Bash Command Line For Linux
- LPIC 101 and 102
- SQL basics
- Distributed Computing
- Learn how to design large-scale systems
- Testing Mnemonics Game
- The Deadlock Empire: Slay dragons, learn concurrency!
- Learn TLA
- tla_workshop
- test-anything
- LibFuzzer Wokshop
- LibFuzzer Tutorial
- Interactive Z3 Guide
- Code-defenders game (mutation testing)
- RoboBUG: A Debugging Game
- Robot ON! A Program Understanding Game
- FireFinder
- Threaded Paws: A Concurrency Game
- Verigames
- Edukera
- Software Testing Conferences
- NASA Public Lessons Learned System
- Flight Software Engineering Lessons
- Forum on Risks to the Public in Computers and Related Systems
- CPU Bugs
- Illustrative Risks to the Public in the Use of Computer Systems and Related Technology
- Wikipedia: List of software bugs
- Postmortems
- Resources for Teaching with Formal Methods
- secfigo - fuzzing)
- Mutation testing
- Chaos Engineering
- Static analysis
- TAP (Test Anything Protocol)
- Awesome Testing
- Symbolic execution
- History of symbolic execution
- awesome-provable
- Visual regression testing
- UI Automation Tools
- List of verification and synthesis tools
- Testing of distributed systems
- SecLists - collection of multiple types of lists used during security assessments, collected in one place.
- Awesome Falsehood
- Awesome Appium
- Awesome AutoIt
- Awesome Coq
- Awesome Selenium
- Awesome Tsung
- Awesome JMeter
- 
Keywords
awesome-list
10
awesome
9
list
3
performance-testing
2
load-testing
2
fuzzing
2
symbolic-execution
2
dynamic-symbolic-execution
2
dynamic-analysis
2
testing
2
programming
2
tester
1
naughty-strings
1
test-runner
1
test-anything-protocol
1
tap
1
site-reliability-engineering
1
concolic
1
concolic-execution
1
history
1
program-analysis
1
solving
1
timeline
1
agda
1
certified-programming
1
coq
1
formal-verification
1
idris
1
isabelle
1
isabelle-hol
1
design
1
design-patterns
1
design-system
1
development
1
interview
1
interview-practice
1
interview-questions
1
python
1
system
1
web
1
web-application
1
webapp
1
debugging
1
post-mortem
1
fuzzing-framework
1
secfigo
1
chaos
1
chaos-community
1
chaos-engineering
1
chaos-monkey
1