Ananth - Holistic test suite development and Twist
ProvAbs: model, policy, and tooling for abstracting PROV graphs