256行以下：テストケース最小化

プロパティベーステストとファジングは深遠で科学的な分野ですが、この記事では数百行のコードで実装できるシンプルなPBTライブラリを紹介します。複雑なサーバー・クライアントアーキテクチャではなく、基本的なテストケース最小化の原理に焦点を当てています。