@inproceedings { ksttw09,
	title = {Loopfrog: A Static Analyzer for ANSI-C Programs},
	booktitle = {The 24th IEEE/ACM International Conference on Automated Software Engineering},
	year = {2009},
	pages = {668-670},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Auckland, New Zealand},
	URL = {http://dx.doi.org/10.1109/ASE.2009.35},
	author = {Daniel Kroening and  Natasha Sharygina and  Stefano Tonetta and  Aliaksei Tsitovich and  Christoph M. Wintersteiger}
}