Accelerating Taint-Based Concolic Testing by Pruning Pointer Overtaint. - Yun-Min Cheng; Bing-Han Li; Shiuhpyng Winston Shieh (SERE, 2012)