状態遷移テスト - state transition testing - WACATE 2018 夏での状態遷移テスト説明資料。
WACATE 2018 summer http://wacate.jp/2018/summer/program.html