Bug Detection on Concrete
25Crash InputsHERTA (Seed+MRs)
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| HERTA (Seed+MRs)Seed Budget=1K, FHE-aware heuristics=true, Use of Metamorphic Relations (MRs)=true2026.06 | 25 | 13 | |
| HERTA (Seed Only)Seed Budget=1K, FHE-aware heuristics=true, Use of Metamorphic Relations (MRs)=false2026.06 | 7 | 7 | |
| DomatoSeed Budget=1K, FHE-aware heuristics=false2026.06 | 3 | 0 |