Using test case reduction and prioritization to improve symbolic execution

Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour

Research output: Chapter in Book/Report/Conference proceedingConference contribution

35 Scopus citations

Fingerprint

Dive into the research topics of 'Using test case reduction and prioritization to improve symbolic execution'. Together they form a unique fingerprint.

Keyphrases

Computer Science