Halfempty – Fast, Parallel Testcase Minimizationgithub.com/googleprojectzero1 pointweinzierl7 years ago