Pex公司

此软件的关键字
数学参考文献
Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018) Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017) Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017) Rusu,Vlad;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017) Liang,Tianyi;Reynolds,Andrew;Tsiskaridze,Nestan;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:字符串约束的有效SMT解算器(2016) Arusoaie,Andrei;Lucanu,Dorel;Rusu,Vlad:基于语言转换的符号执行(2015) 安娜州卡瓦尔坎蒂;戈德尔,玛丽·克劳德:痕迹细化的测试选择(2015年) Liang,Tianyi;Tsiskaridze,Nestan;Reynolds,Andrew;Tinelli,Cesare;Barrett,Clark:无界字符串上规则成员和长度约束的决策过程(2015) Albert,Elvira;Arenas,Puri;Gómez Zamalola,Miguel;Rojas,Jose Miguel:通过符号执行生成测试用例:基本概念、基于CLP的实例和基于参与者的并发(2014) ioport公司 Trtík,Marek;Strejček,Jan:带指针的符号记忆(2014) 谢涛;张璐;肖旭生;熊英飞;郝丹:合作软件测试与分析:进展与挑战(2014) ioport公司 Brucker,Achim D.;Wolff,Burkhart:基于定理证明的测试(2013) Amato,Gianluca;Parton,Maurizio;Scozzari,Francesca:通过简单成分分析发现不变量(2012) Carlier,Matthieu;Dubois,Catherine;Gotlieb,Arnaud:正式验证的基于约束的测试工具设计的第一步:FocalTest(2012) Christakis,Maria;Müller,Peter;Wüstholz,Valentin:《明确假设下的协同验证和测试》(2012) Janičić,Predrag:URSA:统一削减到SAT的系统(2012年) 科斯马托夫,尼古拉;威廉姆斯,尼基;博泰拉,伯纳德;罗杰,穆里尔;切巴罗,奥马尔:一堂关于PathCrawler-online.com的结构测试课程(2012) ioport公司 Vanoverberghe,Dries;de Halleux,Jonathan;Tillmann,Nikolai;Piessens,Frank:州覆盖率:超出代码覆盖率的软件验证指标(2012年) ioport公司 Yang,Guowei;Khurshid,Sarfraz;Kim,Miryung:使用轻量级形式化方法的基于规范的测试修复(2012) ioport公司 Fähndrich,Manuel;Logozzo,Francesco:带抽象解释的静态合同检查(2011)