陌生人

此软件的关键字
zbMATH参考文献(参考12篇文章)
Abdulla,Parosh Aziz;Atig,Mohamed Faouzi;Diep,Bui Phi;Holík,Lukš;Janků,Petr:无链字符串约束(2019年) 阿马蒂尼,罗伯托;弗莱纳,皮埃尔;皮尔森,贾斯汀;斯科特,约瑟夫D.;斯图基,彼得J.;塔克,吉多:带弦的迷你锌(2017) Zheng,Yunhui;Ganesh,Vijay;Subramanian,Sanu;Tripp,Omer;Berzish,Murphy;Dolby,Julian;Zhang,Xiangyu:Z3str2:字符串、正则表达式和长度约束的有效解算器(2017) Liang,Tianyi;Reynolds,Andrew;Tsiskaridze,Nestan;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:字符串约束的有效SMT解算器(2016) 普罗霍伦科,维克多;周,金光雷蒙德;阿什曼,海伦:面向上下文的web应用程序保护模型(2016) Liang,Tianyi;Tsiskaridze,Nestan;Reynolds,Andrew;Tinelli,Cesare;Barrett,Clark:无界字符串上规则成员和长度约束的决策过程(2015) Yu,Fang;Alkhalaf,Muath;Bultan,Tevfik;Ibarra,Oscar H.:用于漏洞检测的基于自动机的符号字符串分析(2014) Fu,Xiang;Powell,Michael C.;Bantegui,Michael;Li,Chung Chih:简单线性字符串约束(2013) 韦恩斯,马格斯;比约纳,尼古拉:《符号自动机:工具箱》(2012) Hooimeijer,Pieter;Veanes,Margus:字符串分析的自动机算法评估(2011) Yu,Fang;Bultan,Tevfik;Ibarra,Oscar H.:使用多轨道自动机进行关系字符串验证(2011) Yu,Fang;Alkhalaf,Muath;Bultan,Tevfik:陌生人:一个基于自动机的PHP字符串分析工具(2010) ioport公司