×

StrSolve解决方案

swMATH ID: 21857
软件作者: Hooimeijer,P.,Weimer,W。
描述: StrSolve:延迟求解字符串约束。关于字符串的推理正成为许多程序分析和测试框架核心的关键一步。独立的字符串约束求解工具,称为决策过程,是该领域最近的研究重点。这项工作的目的是通过定义良好的接口提供各种程序分析可以使用的算法和实现。这种分离可以独立改进字符串约束求解算法,并减少客户端工作量。我们提出了StrSolve,这是一个决策过程,它将方程置于字符串变量之上进行推理。我们的方法可以很好地衡量输入约束的大小,特别是与其他当代技术相比。我们的方法对满意的赋值执行显式搜索,但基于自动机表示惰性地构造搜索空间。我们通过将我们的方法与许多任务上的四个现有字符串决策过程进行比较来实证评估我们的方法。我们发现,我们的原型平均比现有最快的方法快几个数量级,并且证明了我们的惰性搜索空间枚举占了大部分优势。
主页: https://link.springer.com/article/10.1007/s10515-012-0111-x
相关软件: 通过;诺恩;第3章;Z3-街道;陌生人;Gecode公司;迷你锌;汉普;z3(零3);Z3str3号机组;WAPTEC公司;ExpoSE公司;投掷;可爱的;CVC4型;StringFuzz(字符串模糊);炸薯条;SymJS公司;JSAI公司;jCUTE公司
引用于: 6文件

在1个字段中引用

6 计算机科学(68至XX)

按年份列出的引文