Lectures

Week 1  

Lecture 1 -- Introduction

Week 2  

Lecture 2 -- Black-Box Testing

Week 3  

Lecture 3 -- White-Box Testing. Test Coverage

Week 4  

Lecture 4 -- Program Verification

Week 5  

Lecture 5 -- Static Analysis

Week 6  

Lecture 6 -- Model Checking

Week 7  

Lecture 7 -- Formal Specification

Specification with JML: JML tutorial (by Kind Software)

Week 8  

Lecture 8 -- Verification of Concurrent Software

Java Memory Model

Week 9  

Lecture 9 -- Testing Object-Oriented Software

Week 10  

Lecture 10 -- Test Automation

Weeks 11  

Lecture 11 -- Model Based Testing

Model Based Testing Tutorial

Week 12  

Integration testing (curs, U. Ottawa)

Testing Microservice-based Systems

Week 13  

Designing a test plan (p. 1-30)

Brian Marick. The Test Manager at the Project Status Meeting

Week 14  

guide Writing Testable Code

Acknowledgements

These lectures are based on the Software Verification and Validation lectures of assoc. prof. Marius Minea, which you can access here