汉比

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


zbMATH中的参考文献(参考文献20条)

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. 伊什·沙洛姆,奥伦;伊扎基,沙查尔;曼尼维奇,罗马人;Rinetzky,Noam:利用静态分析帮助学习字符串操作程序的伪逆,以自动生成测试(2020)
  2. 阿卜杜拉,帕罗什·阿齐兹;阿蒂格,Mohamed Faouzi;迪普,比菲;霍利克,卢卡什;Janků,Petr:自由链约束(2019)
  3. 阿玛蒂尼,罗伯托;马克·安德隆;恒河,格雷姆;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  4. 阿玛蒂尼,罗伯托;恒河,格雷姆;Stuckey,Peter J.:传播\textsclex、\textscfindand\textscreplacewith虚线字符串(2018)
  5. 巴雷特,克拉克;Tinelli,Cesare:可满足性模理论(2018)
  6. 白天,乔尔D。;加内什,维杰;他,保罗;玛尼娅,弗洛林;Nowotka,Dirk:词方程的可满足性:可判定与不可判定理论(2018)
  7. 阿玛蒂尼,罗伯托;弗莱纳,皮埃尔;皮尔逊,贾斯汀;斯科特,约瑟夫D。;斯图基,彼得J。;Tack,Guido:Minizinc with strings(2017年)
  8. Berzish,M.,Ganesh,V.,Zheng,Y.:Z3str3:具有理论意识分支的字符串解算器(2017)阿尔十四
  9. 斯科特,约瑟夫D。;弗莱纳,皮埃尔;皮尔逊,贾斯汀;Schulte,Christian:有界长度序列变量的设计与实现(2017)
  10. 郑云辉;加内什,维杰;苏布拉曼尼亚,萨努;特里普,奥默;贝齐什,墨菲;杜比,朱利安;张向宇:Z3str2:字符串、正则表达式和长度约束的高效求解器(2017)
  11. 梁天一;雷诺兹,安德鲁;茨卡里泽,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:字符串约束的有效SMT解算器(2016)
  12. 梁天一;茨卡里泽,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;无约束约束条件下的无约束条件(2015)
  13. 小牛肉,马格斯;迈特科维奇,托德;莫纳尔,大卫;Livshits,Benjamin:数据并行字符串操作程序(2015)
  14. 克鲁斯,卡尔;Godoy,Guillem:上下文无关语法的自动评估(系统描述)(2014)
  15. 余方;阿尔卡拉夫、穆阿特;布尔坦、特夫菲克;Ibarra,Oscar H.:用于漏洞检测的基于自动机的符号字符串分析(2014)
  16. 福、香;鲍威尔,迈克尔·C。;班特吉,迈克尔;李忠志:简单线性字符串约束(2013)
  17. 恒河,格雷姆;纳瓦斯,豪尔赫A。;斯图基,彼得J。;桑德加德,哈拉尔德;Schachte,Peter:正则语言约束的无界模型检验(2013)
  18. 小牛肉,马格斯;比约纳,尼古拉:《符号自动机:工具箱》(2012)
  19. 布贝尔,理查德;Hähnle,雷纳;Geilmann,Ulrich:程序规范和验证用Java字符串的形式化(2011)ioport公司
  20. 加内什,维杰;基恩,亚当;阿兹,夏伊;郭,菲利普J。;胡伊梅杰,彼得;Ernst,Michael:HAMPI:用于测试、分析和漏洞检测的字符串解算器(2011)ioport公司