@inproceedings{hooi11a,
 author = {Hooimeijer, Pieter and Veanes, Margus},
 title = {An evaluation of automata algorithms for string analysis},
 booktitle = {VMCAI '11: Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation},
 year = {2011},
 isbn = {978-3-642-18274-7},
 location = {Austin, TX, USA},
 pages = {248--262},
 doi = {http://dl.acm.org/citation.cfm?id=1946284.1946302},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}