Improving Dynamic Partial Order Reductions for Concolic Testing

doi 10.1109/acsd.2012.18
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE