BLUE*アルゴリズムを実装してみたので、せっかくだからテストの自動生成をやってみた。今回テスト対象にするコードの仕様は 開く、閉じる、書き込む、の3つの操作ができる 開いてないのに書き込んだり閉じたりしたらエラーになる というものそしてこちらがそ…