Measuring the Checker: Mutation Analysis for GPU-Kernel Benchmark Oracles
Mutation analysis is introduced to evaluate GPU kernel benchmark oracles and detect faults in verified implementations.
1 stories, newest first · one card per story
Mutation analysis is introduced to evaluate GPU kernel benchmark oracles and detect faults in verified implementations.
Today 1.6K readers · 2.5K views · 792 reads · all time 189K views