"Using test case reduction and prioritization to improve symbolic execution."

Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics