卡鲁扎

卡鲁扎约束求解器。Kaluza是一个求解有界长度的多个字符串变量的解算器。Kaluza约束可以包含字符串变量上的单词表达式、正则语言中的成员关系以及字符串长度上的不等式公式。给出一个输入公式，Kaluza输出满足其中所有变量的字符串常量，或者报告公式不满足。Kaluza具有很强的表达能力和高效性，我们已经成功地将其用于测试和分析真实世界中的JavaScript程序。Kaluza是作为Kudzu的核心开发的，Kudzu是我们的JavaScript符号执行框架。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考 2篇文章 引用）

显示结果1到2，共2个。
按年份排序(引用)

  1. Liang，Tianyi；Reynolds，Andrew；Tsiskaridze，Nestan；Tinelli，Cesare；Barrett，Clark；Deters，Morgan：字符串约束的有效SMT解算器（2016）
  2. Fu，Xiang；Powell，Michael C.；Bantegui，Michael；Li，Chung Chih:简单线性字符串约束（2013）