Detecting information flow by mutating input data
Javalanche: efficient mutation testing for Java