Penumbra: automatically identifying failure-relevant inputs using dynamic tainting
Scalable statistical bug isolation