@inproceedings{ksttw2009,
  AUTHOR    = { Kroening, Daniel
                and Sharygina, Natasha
                and Tonetta, Stefano
                and Tsitovich, Aliaksei
                and Wintersteiger, Christoph M. },
  TITLE     = { Loopfrog: A Static Analyzer for ANSI-C Programs },
  BOOKTITLE = { Proceedings of ASE 2009 },
  YEAR      = { 2009 },
  PUBLISHER = { IEEE Press },
  PAGES     = { 668--670 }
}