Research collection
#symbolic-execution
Research tagged symbolic-execution: explanations, evidence, limitations and connections between papers.
1 results
Racer checks whether GPU kernel rewrites preserve their function
Racer symbolically checks GPU kernel rewrites and exposes bugs missed by sampled tests, within the coverage of its production-kernel study.