PredSym: estimating software testing budget for a bug-free release. - Arnamoy Bhattacharyya; Timur Malgazhdarov (A-TEST@SIGSOFT FSE, 2016)