SyPet公司 swMATH ID: 21706 软件作者: 冯瑜;鲁本·马丁斯(Ruben Martins);王跃鹏;伊西尔·迪利格;代表,Thomas W。 描述: SyPet是一种新型的基于组件的类型定向合成工具。我们方法的主要新颖之处在于使用紧凑的Petri网表示来建模API中方法之间的关系。给定一个目标方法签名S,我们的方法对底层Petri网模型执行可达性分析,以识别可用于合成S实现的方法调用序列。通过我们的算法合成的程序保证能够进行类型检查并通过用户提供的所有测试用例。 主页: https://fredfeng.github.io/sypet网站/ 相关软件: 代码提示;Daikon公司;JSketch公司;菲亚特;CVC4SY公司;超小卫星;CVC4型;z3(零3);胡迪尼;闪光提取;闪烁填充;FlashMeta软件;交通;哈尔普;烟尘;德纳利;XSnippet公司;巴黎万维网;周六4j 引用于: 5文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 复杂API的基于组件的合成。 Zbl 1380.68108号冯、余;鲁本·马丁斯;王月鹏;伊西尔·迪利格;代表,Thomas W。 2017 全部的 前5名23位作者引用 1 亚历山德罗·阿巴特 1 Barbosa,哈尼尔 1 克拉克·W·巴雷特。 1 克里希南德·查特吉 1 克里斯蒂娜·大卫 1 伊西尔·迪利格 1 冯、余 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 黄康静 1 伊扎基,沙查尔 1 帕斯卡·凯塞利 1 丹尼尔·科宁 1 鲁本·马丁斯 1 奥托普,简 1 希拉·佩勒 1 伊丽莎白·波尔格林 1 邱晓康 1 代表,Thomas W。 1 安德鲁·雷诺兹 1 莎伦·肖姆 1 塞萨尔·蒂内利 1 王月鹏 1 埃兰·雅哈夫 2篇连载文章中引用 1 信息学报 1 自动推理杂志 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文