courses in english

General

• 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
• Software Development Process: Part 1, Part 2, Part 3

Functional Testing

• Introduction to Software Testing - Paul Ammann and Jeff Offutt
• 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
• CS453 Automated Software Testing, Spring 2020
• 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

Software Testing Management

• Software Testing Management

User Testing

• Introduction to User Testing

Security Testing

• Software security

Performance Testing

• Performance Engineering of Software Systems
• LoadRunner Tutorials
• Computer Systems Analysis

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
• Types Project
• 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

• Advanced Topics in Software Verification
• Theorem Proving - Principles, Techniques, Applications

Agda

• Programming Language Foundations in Agda Book

Model Checking

TLA+

• SPIN/Promela Model Checking Concurrent Programs
• Software Verification - Natasha Sharygina
• Alloy Courses
• Theorem Proving and Model Checking in PVS - Edmund M. Clarke
• mCRL2 System Validation: Automata and behavioural equivalences
• mCRL2 System Validation (2): Model process behaviour
• mCRL2 System Validation (3): Requirements by modal formulas
• mCRL2 System Validation (4): Modelling Software, Protocols, and other behaviour
• Alloy, Spark, TLA+ Formal Methods in Software Development
• TLA+ The TLA+ Video Course
• TLA+ Dr. TLA+ Series
• TLA+ SUNY Buffalo: CSE 4/586 Distributed Systems (Notes)
• TLA+ Portland State: CS410/510 Practical Specification and Verification
• TLA+ University of Wellington: SWEN421 - Formal Software Engineering
• TLA+ Learn TLA
• TLA+ tla_workshop