×

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文件

2篇连载文章中引用

1 信息学报
1 自动推理杂志

在1个字段中引用

5 计算机科学(68至XX)

按年份列出的引文