Penumbra: automatically identifying failure-relevant inputs using dynamic tainting
HDD: hierarchical delta debugging