Detecting infeasible branches based on code patterns

Sun Ding, Hongyu Zhang, Hee Beng Kuan Tan. Detecting infeasible branches based on code patterns. In Serge Demeyer, Dave Binkley, Filippo Ricca, editors, 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014. pages 74-83, IEEE, 2014. [doi]

Abstract

Abstract is missing.