Fang Yu, Muath Alkhalaf, Tevfik Bultan
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses
ASE, 2009.
@inproceedings{ASE-2009-YuAB, author = "Fang Yu and Muath Alkhalaf and Tevfik Bultan", booktitle = "{Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2009.20", isbn = "978-0-7695-3891-4", pages = "605--609", publisher = "{IEEE Computer Society}", title = "{Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses}", year = 2009, }