← Tags #verification

2 notes

sweep（差分テスト / 生成ベースのバグ発見） testingverificationcomputer-science コード生成の走査網羅性 (traversal/site totality) almidecompilerverification