Using test case reduction and prioritization to improve symbolic execution.

Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour

Browse the full ISSTA paper archive.