Login / Signup

Detecting infeasible branches based on code patterns.

Sun DingHongyu ZhangHee Beng Kuan Tan
Published in: CSMR-WCRE (2014)
Keyphrases