@inproceedings{ksttw2010,
  AUTHOR    = { Kroening, Daniel
                and Sharygina, Natasha
                and Tonetta, Stefano
                and Tsitovich, Aliaksei
                and Wintersteiger, Christoph M. },
  TITLE     = { Loopfrog -- Loop Summarization for Static Analysis },
  BOOKTITLE = { Proceedings of WING 2010 },
  YEAR      = { 2010 },
  NOTE      = { to appear. }
}