Learning Tools

• Anki:
  • Software Testing
  • Foundations of Software Testing - Glossary
  • ISTQB Glossary of Terms in Software testing
  • Coding and Design
  • Design Patterns
  • Object Oriented Design Patterns
  • LPIC 101 and 102
  • SQL basics
  • Distributed Computing
  • Learn how to design large-scale systems

Educational Games

• Testing Mnemonics Game
• The Deadlock Empire: Slay dragons, learn concurrency!
• test-anything
• Code-defenders game (mutation testing)
• RoboBUG: A Debugging Game
• Robot ON! A Program Understanding Game
• FireFinder
• Threaded Paws: A Concurrency Game
• Verigames
• Edukera

Coq

• https://math-comp.github.io/mcb/

TLA+

• Learn TLA
• tla_workshop

Software Testing

• LibFuzzer Wokshop
• LibFuzzer Tutorial

Z3

• Interactive Z3 Guide
• Z3 Tutorial