symbolic-execution

テストカバレッジ94%でも見逃した整数オーバーフローを、symbolic executionが発見した

ユニットテストは特定の入力をチェックする。symbolic executionはあらゆる可能な入力をチェックする。仕組み、コスト、始め方を解説する。