zbMATH中的参考文献（参考文献14条)

1. 阿卜杜拉，帕罗什·阿齐兹；阿蒂格，Mohamed Faouzi；迪普，比菲；霍利克，卢卡什；Janků，Petr:自由链约束（2019）
2. 白天，乔尔D。；加内什，维杰；他，保罗；玛尼娅，弗洛林；Nowotka，Dirk:词方程的可满足性：可判定与不可判定理论（2018）
3. 阿玛蒂尼，罗伯托；弗莱纳，皮埃尔；皮尔逊，贾斯汀；斯科特，约瑟夫D。；斯图基，彼得J。；Tack，Guido:Minizinc with strings（2017年）
4. Wüstholz，瓦伦丁；奥利沃，奥斯瓦尔多；海勒，玛丽安J。H、 。；Dillig，Isil:使用正则表达式的程序中DoS漏洞的静态检测（2017）
5. 郑云辉；加内什，维杰；苏布拉曼尼亚，萨努；特里普，奥默；贝齐什，墨菲；杜比，朱利安；张向宇：Z3str2：字符串、正则表达式和长度约束的高效求解器（2017）
6. 梁天一；雷诺兹，安德鲁；茨卡里泽，内斯坦；蒂内利，塞萨尔；巴雷特，克拉克；Deters，Morgan：字符串约束的有效SMT解算器（2016）
7. 普罗霍伦科，维克托；周金光雷蒙德；Ashman，Helen:面向上下文的web应用程序保护模型（2016）
8. 梁天一；茨卡里泽，内斯坦；雷诺兹，安德鲁；蒂内利，塞萨尔；Barrett，Clark:无界弦上正则成员和长度约束的决策过程（2015）
9. 余方；阿尔卡拉夫、穆阿特；布尔坦、特夫菲克；Ibarra，Oscar H.：用于漏洞检测的基于自动机的符号字符串分析（2014）
10. 福、香；鲍威尔，迈克尔·C。；班特吉，迈克尔；李忠志：简单线性字符串约束（2013）
11. 小牛肉，马格斯；比约纳，尼古拉：《符号自动机：工具箱》（2012）
12. 胡伊梅杰，彼得；Veanes，Margus:字符串分析的自动机算法评估（2011）
13. 余方；布尔坦、特夫菲克；Ibarra，Oscar H.：使用多轨道自动机进行关系字符串验证（2011）
14. 余方；阿尔卡拉夫、穆阿特；Bultan，Tevfik:ranger:PHP的基于自动机的字符串分析工具（2010）ioport公司