Организаторы RustConf 2026 опубликовали видео докладов. Один из докладов - рассказ о статусе кампании по верификации стандартной библиотеки в Rust. Предыстория такая: Для Rust существует краудсорсинговую кампания по формальной верификации стандартной библиотеки Rust - критически важного, но содержащего большое количество небезопасного кода компонента экосистемы Rust. Хотя Rust и позиционируется ка…

В проекте PostgreSQL интересная история случилась. Значимый шаг в сторону фаззинг тестирования был сделан в апреле 2026 года: Andrew Dunstan добавил в основную ветку PostgreSQL 12 фаззинг-тестов на базе libFuzzer. https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=4a18907b412e77684bf888ad6d1b4844d220196a А потом патч с тестами откатили: https://git.postgresql.org/gitweb/?p=postgres…

Google опубликовал исходный код ARTEMIS - инструмент, который позволяет управлять реальными Android-устройствами с помощью команд на естественном языке. Основное предназначение - автоматизировать тестирование и выполнение рутинных задач на телефонах, интегрируя реальные устройства в рабочие процессы ИИ-ассистентов и CI/CD. По описанию выглядит полезно для тех, кто разрабывает и тестирует для Andro…

Finding bugs across the Python ecosystem with Claude and property-based testing We developed an agent that can efficiently identify bugs in large software projects. To do this, our agent infers general properties of code that should be true, and then by applying property-based testing - a technique similar to fuzz testing - we are able to discover bugs in top Python packages like NumPy, SciPy, and…

A collaborative bibliography of papers related to property-based testing https://github.com/ngernest/pbt-bibliography