Tl;DrTDD、Example-based Testing、Property-based Testing を組み合わせると良い感じ（かも？）きっかけこんなTweetがタイムラインに流れていま…