Transferring an automated test generation tool to practice: from pex to fakes and code digger
search - based software test data generation : a survey .