Transferring an automated test generation tool to practice: from pex to fakes and code digger
Automatic test generation for mutation testing on database applications