courses in english - ligurio/sqa-wiki GitHub Wiki
General
- Software Engineering: Introduction
- Software Debugging
- Software Analysis & Testing
- Fundamentals of TDD
- Discrete Mathematics and Probability Theory
- Mathematical Logic
- Engineering Ethics
- Software Development Process: Part 1, Part 2, Part 3
Functional Testing
- 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 Training
- Quality Center Training
- QTP Training
- Selenium Tutorials
- Selenium WebDriver Course
- Software Testing - Mauro Pezzo
- CS453 Automated Software Testing
- Functional Programming and Property-Based Testing
Fuzz testing
- 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
User Testing
Security Testing
Performance Testing
Formal Software Verification
- Bug Catching: Automated Program Verification
- Formal Specification
- Formal Software Verification and Formal Software Verification (previous page of the course)
- Logic, Languages, Compilation, and Verification (Youtube)
- A survey of automated theorem proving
- Tutorials and advanced lectures
- Introduction to Formal Systems and Computation
- CSE 814 Formal Methods in Software Engineering
Slides - A survey of automated theorem proving - John Harrison
Coq
- 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 — Xavier Leroy
Isabelle/HOL
Agda
PVS
- Theorem Proving and Model Checking in PVS - Edmund M. Clarke
Model Checking
TLA+
- Learn TLA+, https://learntla.com/
- Pragmatic Formal Modeling - is an introduction to pragmatic formal modeling.
- Software Verification - Natasha Sharygina
- The TLA+ Video Course by Leslie Lamport
- Dr. TLA+ Series
- TLA+ Portland State: CS410/510 Practical Specification and Verification
- TLA+ tla_workshop
Alloy
- Alloy Courses
- Alloy, Spark, TLA+ Formal Methods in Software Development
- https://alloy.readthedocs.io/en/latest/ - unofficial ALloy documentation written by Hillel Waine.