@inproceedings{ksttw2010,
  author    = {Daniel Kroening and Natasha Sharygina and Stefano Tonetta and Aliaksei Tsitovich and Christoph M. Wintersteiger},
  title     = {Loopfrog -- loop summarization for static analysis},
  booktitle = {Proceedings of WING 2010},
  series    = {EPiC Series},
  volume    = {1},
  pages     = {130-131},
  year      = {2012},
  publisher = {EasyChair}
}