DMCA

Using Test Case Reduction and Prioritization to Improve Symbolic Execution

by Chaoqiang Zhang , Alex Groce , Mohammad Amin Alipour
Citations:2 - 1 self