t_wの輪郭
KiroによるPBT
『Kiro : コードは仕様と一致していますか? 〜プロパティベーステストで「正しさ」を測定する〜 ...
あれ