Efficient static analysis with path pruning using coverage data. - V. Vipindeep; Pankaj Jalote (ACM SIGSOFT Softw. Eng. Notes, 2005)