Протестировал
@sqaunderhoodРекламу и анонсы не размещаю. Авторский канал о качественной разработке ПО (процессы, тестирование, формальная верификация и спецификация). Контакт: @ligurio
Посты канала (20)
- Интересная статья про использование сравнительного тестирования для приложений с состоянием - "Vive la Différence: Prac… 04.06.2026
- Раньше ведь как было: изучаешь теорию языков программирования и формальные методы, формальные грамматики, лексический и… 23.04.2026
- Sashiko мониторит список рассылки с патчами в ядро Linux (LKML) и запускает ревью этих патчей с помощью LLM (сейчас, ка… 19.03.2026
- Если вы хотели погрузиться в тему SDLC, то вот вам знак свыше: в весеннем семестре в ВМК МГУ проходит спецкурс по РБПО.… 13.03.2026
- 5 марта умер сэр Тони Хоар Некролог: https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html 12.03.2026
- Поиск точек разладки (changepoint) это популярная задача в разных областях. Это канал про тестирование ПО, поэтому огра… 04.03.2026
- После анонса задачи про верификацию оптимизаций в LuaJIT в лаборатории Tarantool мне написал студент Физтеха Алексей и … 02.03.2026
- Обычно для оценки степени покрытия кода фаззинг-тестированием используют покрытие по строкам/функциями и редко по ветвл… 25.02.2026
- In this work, we address this issue by proposing an efficient white-box checker, Emme. Our key idea is to use informati… 19.02.2026
- Что ж, настала пора. Подпишитесь на случай, если Телеграму станет совсем плохо. 10.02.2026
- Инженер из Mozilla в треде рассказывает, что проблемы в CPU не редкость, не то, что раньше. Мало ли чего в интернетах п… 23.01.2026
- Вот и новогодние подарки от авторов Software Foundations подоспели. We have a new, 7th (sic!) volume of Software Founda… 08.01.2026
- Статистика по фаззингу Linux-ядра с помощью syzcaller: медиана выявления бага 51 день, 75-й перцентиль 291 день. С авгу… 25.12.2025
- В прошлый понедельник вышла новая публичная версия PUC Rio Lua и хотя мы не успели сообщить о проблеме до релиза всё ра… 24.12.2025
- Любите ли вы отладку так, как люблю её я? Время от времени от непрерывного фаззинга появляются срабатывания, которые на… 24.12.2025
- Ребята из Kaspersky рассказали как сделали и используют робопалец для тестирования телефонов. Круто конечно, молодцы! А… 18.12.2025
- У автора рассылки The Pragmatic Engineer есть книга "The Software Engineer's Guidebook". Покрывает большой круг тем и к… 18.12.2025
- Из нерассказанного в докладе. Например о том, что нельзя вот так взять и использовать фаззинг для языкового рантайма, в… 17.12.2025
- Видеозапись моего доклада с историей про дисковый движок в Tarantool: Youtube, ВКВидео. Доклад приняли хорошо, были воп… 17.12.2025
- NATS is a popular distributed streaming system. Jepsen tested NATS 2.12.1, focusing on its durable JetStream subsystem,… 08.12.2025