@inproceedings{WeitzKSE2014, author = {Konstantin Weitz and Gene Kim and Siwakorn Srisakaokul and Michael D. Ernst}, title = {A type system for format strings}, booktitle = {ISSTA 2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis}, pages = {127-137}, address = {San Jose, CA, USA}, month = {July~23--25,}, year = {2014} }