Fang Yu et al.: Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. (2009)conf/kbse/YuAB0910.1109/ASE.2009.20Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses.3Fang Yu 00011Muath Alkhalaf2Tevfik Bultan3605-609ASEASE20092009provenance information for RDF data of dblp record 'conf/kbse/YuAB09'2023-03-24T00:02:37+0100