AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation. - Nadia Alshahwan; Yue Jia 001; Kiran Lakhotia; Gordon Fraser 001; David Shuler; Paolo Tonella (Practical Software Testing: Tool Automation and Human Factors, 2010)