Formal spec tool Quint finds over 10 bugs in SQLite while hardening Turso

Turso community member Pavan Nambi modeled the SQLite C API using Quint, a formal specification tool based on Temporal Logic of Actions (TLA). By generating traces from the Quint model and running them against real SQLite via small C programs, the process uncovered over 10 bugs in SQLite itself — including a crash in sqlite3_deserialize() when a read transaction was in progress. The approach complements Turso's existing testing arsenal (DST, fuzzers, differential testers, Antithesis) by exploring state-space regions that random SQL-based simulators miss. All found bugs were reported and fixed upstream in SQLite.

Bitbucket Agentic Pipelines adds Claude Code as CI provider

Atlassian's Agentic Pipelines for Bitbucket now supports Claude Code as an AI provider alongside the default Rovo Dev agent. Teams can add Claude to their bitbucket-pipelines.yml with a single `provider: claude` keyword. A highlighted use case is automated flaky test remediation: an agent gathers test history, executes the test, hypothesizes the root cause, applies a fix, and opens a draft PR for review. The feature is in open beta and Atlassian plans to add more third-party CLI providers beyond Claude Code.

Storybook 10.4 ships AI agent auto-configuration and TanStack React support

Storybook 10.4 ships several notable features: AI agents can now automatically configure Storybook in complex apps by analyzing project structure, generating mocks, and writing stories; a new sidebar change detection filter highlights stories affected by recent code changes; a quick-share button publishes Storybook to Chromatic for instant teammate review without needing a PR or CI run. The release also adds first-class TanStack React framework support via @storybook/tanstack-react with zero-config routing and server functions, an improved opinionated React Native setup using a standalone entry point, and an experimental react-component-meta docgen analyzer powered by Volar and the TypeScript Language Server for faster, higher-quality MCP metadata.

Trail of Bits ships gosentry, a Go toolchain fork with LibAFL-powered fuzzing

muttest 0.2.0 adds 12 new mutators and parallel execution for R mutation testing

muttest 0.2.0 is a new release of the R mutation testing package that significantly expands its capabilities. Key additions include a larger mutator library with 12+ new individual mutators (boolean_literal, negate_condition, numeric_increment, delete_statement, etc.) and preset collections for common patterns. The reporter now surfaces survived mutants directly in output, making it easier to identify test gaps. Parallel execution via {mirai} reduces run time on larger codebases, and per-mutant timeouts prevent infinite loops from stalling runs. The release also explains why mutation testing catches bugs that 100% code coverage misses, and notes its value for validating LLM-generated tests.

Compose Multiplatform 1.11.0 upgrades UI testing API with StandardTestDispatcher default

Compose Multiplatform 1.11.0 has been released with three major improvements. iOS apps now support experimental native text input built on UIView, offering native gestures, selection handles, and system context menus. Concurrent rendering on iOS is now enabled by default. UI testing gets a v2 API upgrade with StandardTestDispatcher as the default, making coroutine-based tests more predictable and adding effectContext support. Web scrolling performance has also been substantially reworked, bringing it much closer to native platform behavior.

State of JavaScript 2024 shows Vitest and Playwright gaining testing momentum

Laravel PAO ships structured JSON output for AI agent environments in PHP testing tools

Laravel PAO (PHP Agent-Optimized Output) is a new dev dependency included by default in new Laravel applications. It detects when PHP tools like PHPUnit, Pest, Paratest, PHPStan, Rector, and Artisan are being run inside an AI agent environment (Claude Code, Cursor, Devin, etc.) and reformats their output into compact, structured JSON. Human terminal output remains unchanged. PAO works via Composer's file autoload, injecting itself early in the PHP process, and uses each tool's native APIs rather than scraping terminal text. The result is cleaner, token-efficient output that helps AI agents identify failures, file paths, line numbers, and error details without parsing ANSI-decorated terminal noise.

Laravel 13.9.0 adds password rules HTML attribute helper and Cloud queue metrics

Laravel 13.9.0 ships several new features. The headline addition is Password::toPasswordRulesString(), which converts a Password validation rule into an HTML passwordrules attribute string so browsers and password managers like Safari, 1Password, and Bitwarden can auto-generate compliant passwords. Other additions include Cloud queue metrics for job throughput telemetry, optional disk storage for SQS payloads exceeding the 1 MB limit (offloading to S3 via a pointer), Concurrency::run() timeout support for the process driver, PendingDispatch conditionable with when()/unless() for inline job configuration, a PreparesForDispatch interface for pre-dispatch hooks, a foreignUuidFor() schema blueprint helper, ThrottlesExceptions backoff accepting a Closure, and enum support for contextual attribute binding.