Heuristic Guided Selective Path Exploration for Loop Structure in Coverage Testing

Xuzhou Zhang, Yun-Zhan Gong, Yawen Wang. Heuristic Guided Selective Path Exploration for Loop Structure in Coverage Testing. IJOSSP, 8(2):59-75, 2017. [doi]

Abstract

Abstract is missing.