「Fuzzing か certainty(確実性)」というテーマでしょうか?おそらく **ファジング(動的テスト)と形式検証(確実性の保証)のどちらを選ぶか** という話だと推測してお答えします。違っていたら教えてください。 ## Fuzzing(ファジング) - **アプローチ**: ランダム/変異させた大量の入力をプログラムに与え、クラッシュや異常を発見 - **強み**: - 実装が比