cargo-mutants でテストの穴を測って、proptest と kani で埋める (追記 miri) 最近、Rust にテストを書いていて cargo-mutants、proptest、kani の 3 つを組み合わせるのがかなり強力に感じたので記事にまとめておきます。 本記事は、埋め込み Rust のミッションクリティカルな領域で AI に Rust のミュータントテスト、PBT、形式化による検証を試させて、その記録を自分が理解できるように、整形し... はてなテクノロジー 2026年09月25日 08:02