西格玛* swMATH ID: 21731 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 描述： Sigma*：输入输出规范的符号学习。我们提出了Sigma*，一种学习软件行为符号模型的新技术。Sigma*通过使用符号猜想和抽象来解决合成软件模型的挑战。通过结合动态符号执行来发现程序的符号输入输出步骤，并通过反例引导抽象精化来过度近似程序行为，Sigma*将程序的任意源表示转换为忠实的输入输出模型。我们定义了一类流过滤器——用于处理数据项流的程序——如果抽象细化最终建立了足够强大的抽象，那么Sigma*将收敛到一个完整的模型。换句话说，西格玛*相对于抽象来说是完整的。为了表示推断出的符号模型，我们使用了一种可以有效组合和检查等效性的符号传感器变体。因此，Sigma*能够完全自动分析行为属性，如交换性、可逆性和幂等性，这对网络净化程序验证和流程序编译器优化很有用，正如我们在实验中所展示的那样。我们还展示了Sigma*推断的模型如何通过并行代码生成提高流程序的性能。 主页： https://dl.acm.org/citation.cfm？id=2429123 相关软件： 拉利布;利巴夫;z3型;学习库;Daikon公司;github;CBMC公司;蟒蛇;投掷;jq公司;杠杆;小牛;NLambda公司;路易斯;哈斯克尔;里奥;萨纳;Bex公司;梅林;JavaScript脚本 引用于： 14文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Sigma（^*），输入输出规范的符号学习。 Zbl 1301.68095号马特科·博廷坎;Babić，多马戈 2013 全部的 前5名31位作者引用 三 福尔克·豪尔 三 丹尼尔·科宁 2 哈娜·乔克勒 2 洛丽斯·达安东尼 2 达纳·菲斯曼 2 帕斯卡·凯塞利 2 伯恩哈德·斯特芬 2 斯特里赫曼（Ofer Strichman） 2 Vaandrager，Frits W。 2 玛格斯·维纳斯 1 达纳州安格鲁因 1 Domagoj Babić 1 马特科·博廷坎 1 索菲亚·卡塞尔 1 马丁·查普曼 1 塞缪尔·德鲁斯 1 巴拉特·加休尔 1 马尔特·伊斯伯纳 1 娜塔莎·约加南达·杰普 1 Jonsson，孟加拉人 1 巴托克·克林 1 香椿Lenaerts 1 汤姆·梅尔姆 1 阿披实·米迪亚 1 约书亚·莫尔曼 1 马蒂奥·桑马蒂诺 1 蒂莫·施里杰弗斯 1 亚历山德拉·席尔瓦 1 史密茨，罗布 1 Micha Szynwelski 1 迈克尔·陶奇尼格 全部的 前5名7篇连载文章中引用 2 系统设计中的形式化方法 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 机器学习 1 人工智能研究杂志 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 14 计算机科学（68至XX） 按年份列出的引文