Chicago

Zhang, Chaoqiang. 2015. Test Case Reduction, Prioritization, and Selection for Symbolic Execution. : Oregon State University.