The following publications are possibly variants of this publication:
- String Analysis for Software Verification and SecurityTevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin. Springer, 2017. [doi]
- Symbolic String Verification: Combining String Analysis and Size AnalysisFang Yu, Tevfik Bultan, Oscar H. Ibarra. TACAS 2009: 322-336 [doi]
- Relational String Verification Using Multi-track AutomataFang Yu, Tevfik Bultan, Oscar H. Ibarra. wia 2011: 290-299 [doi]
- Symbolic String Verification: An Automata-Based ApproachFang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra. spin 2008: 306-324 [doi]
- Relational String Verification Using Multi-Track AutomataFang Yu, Tevfik Bultan, Oscar H. Ibarra. ijfcs, 22(8):1909-1924, 2011. [doi]