Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi. Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Transactions on Programming Languages and Systems, 38(2):6, 2016. [doi]

Abstract

Abstract is missing.