Презентация: https://docs.google.com/presentation/d/18X1ZFceAQAKpf-5DW9FsX7dAhHf0TQbiEQ7LlUbqAsk/edit?usp=sharing
Алексей Родионов — Тестирование на основе сетей Петри: https://www.youtube.com/watch?v=TeKHZw61pb8
Про TLA+ одной картинкой: https://medium.com/@Ladicle/tla-video-course-is-great-6f1054195cde
Hypothesis - инструмент для тестирования на основе свойств: https://hypothesis.works/products/
Awesome лист про фаззинг: https://github.com/secfigo/Awesome-Fuzzing
Как отображать графы: https://en.wikipedia.org/wiki/Graph_drawing
Отличныа книга про фаззинг с примерами: https://www.fuzzingbook.org/html/Fuzzer.html
Peach Fuzzer (универсальный инструмент для поиска уязвимостей) - https://www.peach.tech/products/peach-fuzzer/
Inside Kdenlive: How to fuzz a complex GUI application? - https://kdenlive.org/en/2019/03/inside-kdenlive-how-to-fuzz-a-complex-gui-application/
Monkey Testing - Android Studio - https://developer.android.com/studio/test/monkey
Detecting the unexpected in (Web) UI - https://medium.com/criteo-labs/detecting-the-unexpected-in-web-ui-fuzzing-1f3822c8a3a5
Онлайн сервис для фаззинга веб интерфейса: https://monkeytest.it/
CrawlJax - https://github.com/crawljax/crawljax