Я тут осознал, что этот канал про Software Quality Assurance, а это значит, что зря я ограничиваю тематику постов одним только тестированием ПО. Поэтому теперь буду разбавлять постами про статический и динамический анализ кода, формальную верификацию и т.д.