Transferring an automated test generation tool to practice: From Pex to Fakes and Code Digger (2014)

by Nikolai Tillmann, Jonathan De Halleux, Tao Xie
Venue:In Proc. ASE, Experience Papers