JPF-SE公司 swMATH ID: 12038 软件作者： Anand S、Pasareanu CS、Visser W 描述： JPF-SE：Java探索者的符号执行扩展。我们介绍了JPF–SE，它是Java PathFinder模型检查框架（JPF）的扩展，支持Java程序的符号执行。JPF–SE使用JPF生成和探索符号执行路径，并使用离线决策过程来操作数字约束。 主页： http://javapathfinder.sourceforge.net/extensions/symbc/doc/ 依赖项： Java探路者 相关软件： Java PathFinder;投掷;可爱的;科拉特;SLAM公司;爆破;污水处理厂;Symstra公司;YOGI公司;jCUTE公司;吉隆坡机场;SpecExplorer（SpecExplorer）;CESAR公司;班德拉;派克斯;PathCrawler（路径爬行器）;veriSoft软件;超小卫星;DynAlloy合金;CBMC公司 引用于： 6文件 全部的 前5名21位作者引用 1 Nazareno M.阿吉雷。 1 马塞洛·阿罗约 1 迈克尔·班特吉 1 阿希姆·D·布鲁克。 1 斯蒂芬妮·福雷斯特 1 傅、香 1 帕特丽斯·戈德弗里德 1 阿里尔·戈迪奥 1 迪帕克·卡普尔 1 伦纳德·伦辛克 1 李钟智 1 Nguyen，Thanhvu H。 1 Pablo庞齐奥 1 Michael C.鲍威尔。 1 尼科拉斯·罗斯纳 1 塞·库什克 1 斯梅特泽斯，沙克 1 马克·范·埃克伦 1 伯纳德·范加斯特尔 1 韦斯特利·威默 1 沃尔夫，伯克哈特 2篇连载文章中引用 2 计算的形式方面 1 计算机程序设计科学 在1个字段中引用 6 计算机科学（68至XX） 按年份列出的引文