@InProceedings{AlshahwanJLFST2010,
  author ={Nadia Alshahwan and Yue Jia and Kiran Lakhotia and Gordon Fraser and David Shuler and Paolo Tonella},
  title ={AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation},
  booktitle ={Practical Software Testing : Tool Automation and Human Factors},
  year ={2010},
  editor ={Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie},
  number ={10111},
  series ={Dagstuhl Seminar Proceedings},
  ISSN ={1862-4405},
  publisher ={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2010/2618},
  annote ={Keywords: Test case generation, code analysis, automated software testing}
}