@techreport{ChristakisGodefroid13,
  author =       {M. Christakis and P. Godefroid},
  title =        {Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing},
  number =       {MSR--TR--2013--120},
  institution =  {Microsoft Research},
  year =         {2013}
}