L Song, S Lu - 2014 ACM SIGPLAN Conference on Object-Oriented …, 2014 - pure.psu.edu
Abstract Design and implementation defects that lead to inefficient computation widely exist
in software. These defects are difficult to avoid and discover. They lead to severe …