53 70 v 2 [ cs . P L ] 1 6 Ja n 20 15 Type Targeted Testing