亨比

亨比:字符串约束的求解器。亨比是字符串约束的求解器。亨比是由程序分析工具、自动错误发现器、智能模糊器所产生的约束而设计的。亨比约束表示正规语言的成员资格和有界上下文无关语言。亨比约束可以包含上下文无关语言定义、正则语言定义和操作以及成员谓词。给定一组约束,亨比输出满足所有约束的字符串,或报告约束不可满足的报告。


ZBMaCT中的参考文献(16篇文章中引用)

显示结果1至16的16。
按年份排序(引文

  1. Amadini,罗伯托;安德隆,麦克;Gange,格雷姆;沙希特,彼得;S NordGARD,哈拉尔德;Stuckey,Stuckey:JavaScript动态符号执行的约束编程(2019)
  2. 巴雷特,克拉克;Tinelli,CeSEAR:可满足性模理论(2018)
  3. Amadini,罗伯托;弗兰纳,彼埃尔;皮尔森,贾斯廷;史葛,Joseph D.;Stuckey,Joseph D.;TACK,GUDO:带字符串的迷你(2017)
  4. Berzish,M,GANSH,V,郑,Y.:Z3STR3:一个具有理论觉察分支的字符串求解器(2017)阿西夫
  5. 史葛,Joseph D.;FLIENER,彼埃尔;皮尔森,贾斯廷;舒尔特,克里斯蒂安:有界长度序列变量的设计与实现(2017)
  6. 郑,Yunhui;甘尼希,Vijay;苏布拉缅语,Sanu;特里普,Omer;伯兹,墨菲;杜比,朱利安;张,Xiangyu:Z3STR2:一个有效的字符串解算器,正则表达式和长度约束(2017)
  7. 梁,天义镇;雷诺兹,安得烈;TsasKaidz,Nestan;Tinelli,CasARE;巴雷特,克拉克;威慑,摩根:一个有效的SMT解串约束(2016)
  8. 梁,天义镇;TsasKaidz,Nestan;雷诺兹,安得烈;Tinelli,CeSARE;巴雷特,克拉克:无约束串上的正则隶属度和长度约束的决策过程(2015)
  9. VeANES,Margus;Mytkowicz,托德;Malnar,戴维;Livshits,本杰明:数据并行字符串处理程序(2015)
  10. Creus,CARLS;Godoy,GeLeLe:上下文无关文法的自动评估(系统描述)(2014)
  11. 俞,Fang;Alkalf,MuaS.;Bultan,Tevfik;伊瓦拉,Oscar H.:基于自动机的符号串分析漏洞检测(2014)
  12. 傅,Xiang;鲍威尔,Michael C.;BANTEGUI,米迦勒;李,Chung Chih:简单线性串约束(2013)
  13. Gange,格雷姆;纳瓦斯,Jorge A.;Stuckey,Peter J.;S·NordelGad,哈拉尔德;SaCuTe,彼得:用正则语言约束插值的无界模型检验(2013)
  14. VeANES,Margus;BJ.RNER,NIKOLAJ:符号自动机:工具包(2012)
  15. Babel.,李察;H.Hnle,赖纳;Geelman,Ulrich:程序规范和验证的Java字符串的形式化(2011)伊波尔特
  16. 甘尼什,Vijay;基因,亚当;阿尔齐,Shay;郭,Philip J.;Hoimijje,Pieter;厄恩斯特,亨比:一个用于测试、分析和漏洞检测的字符串求解器(2011)伊波尔特