条件網羅の完全に行うためには？

ひさしぶりに技術メモ
A Theory of Predicate-Complete Test Coverage and Generation
眺めてみたけど、記号だらけ。わからん。まあゆるゆると。

しかし、こうしてみると、MSさんもソフトウェア開発に関して多くのテーマで研究しとるんやな。そりゃそうか。