JST公司 swMATH ID: 19494 软件作者： Ghosh I、Shafiei N、Li G、Chiang W 描述： JST：用于带字符串的工业Java应用程序的自动测试生成工具。在本文中，我们介绍了JST，这是一个为工业级Java应用程序自动生成高覆盖率测试套件的工具。该工具的核心是基于symbolic Java PathFinder平台的数字存储混合符号执行引擎。然而，为了使该工具适用于工业应用程序，必须以我们在本文中描述的多种方式增强现有通用平台。JST工具由新支持的基本Java库组件和广泛使用的数据结构组成；字符串约束、正则表达式及其与整数和浮点数的交互的新型求解技术；以及使该工具更高效的关键优化。我们提出了一种方法来无缝集成上述功能，以使该工具可扩展到在适用性和性能方面超出原始平台的工业应用程序。我们还提供了大量的实验数据来说明我们的工具的有效性。 主页： http://dl.acm.org/citation.cfm？id=2486925 相关软件： 第3章；Z3字符串；通过；汉普；陌生人；z3（零3）；派克斯；github；SymJS公司；Z3str2型；吉隆坡机场；SMT-LIB公司；卡鲁扎；CVC4型；StarExec公司；MONA公司 引用于： 3文件 全部的 前5名13位作者引用 2 克拉克·W·巴雷特。 2 梁天一 2 安德鲁·雷诺兹 2 塞萨尔·蒂内利 2 内斯塔·齐斯卡里泽 1 Murphy贝尔齐什 1 Deters，摩根 1 朱利安·杜比 1 维杰·加内什 1 Subramanian，萨努 1 奥马尔·特里普 1 张湘玉 1 郑云辉 连载1篇 2 系统设计中的形式化方法 在2个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文