Java探路者

此软件的关键字
zbMATH中的参考文献(参考文献 123篇 )
不,雷; 梁永娟; 谢遵义; 钱,红; 胡逸琪; 于,杨; 陈欣; 李宣东:机器学习导向的复杂软件代码符号执行框架(2021) 庞齐奥,巴勃罗; 戈迪奥,阿里尔; 罗斯纳,尼古拉斯; 阿罗约,马塞洛; 阿吉尔,拿撒勒诺; Frias,Marcelo F.:使用紧字段边界对堆操作程序进行有效的有界模型检查(2021) Pham,长H。; 乐广路; 潘,群生; 孙军; 秦胜超:使用分离逻辑增强堆程序的符号执行以生成测试输入(2019) 丹尼斯,路易丝A。; 费舍尔,迈克尔; 韦伯斯特,马特:两阶段代理程序验证(2018) 哥德弗洛德,帕特里斯; Sen,Koushik:结合模型检查和测试(2018) 古斯穆勒,马里恩; 科罗娜,加布里埃尔; Quinson,Martin:遗留分布式应用正式动态验证的系统级状态平等检测(2018) 克努佩尔,亚历山大; 图姆,托马斯; 帕迪拉,卡斯滕·伊曼纽尔; Schaefer,Ina:理解演绎验证的参数:key的实证调查(2018) 劳科,亨利克; 罗查凯,彼得; Barnat,Jiří:通过程序转换进行符号计算(2018) 简契克,帕维尔; Kofroň,一月:关于部分状态匹配(2017) 梅斯纳德,弗雷德; Payet,Étienne; Vidal,Germanán:逻辑编程中的复合测试(2015) 卡达尔,伊斯特万; 黑格德斯佩特; 费伦茨,鲁道夫:《使用符号执行的Java程序运行时异常检测》(2014) 萨博,克萨巴; 科图尔,马罗什; Petruš,Richard:《使用符号执行的软件重构》(2014) 贝克特,伯恩哈德; Klebanov,Vladimir:多线程程序演绎验证的动态逻辑(2013) 拜尔,德克; 霍尔泽,安德烈亚斯; 陶奇尼,迈克尔; 维思,赫尔穆特:多目标可达性分析的信息重用(2013) 布劳尔,约格; 国王,安迪; Kowalewski,Stefan:微控制器代码的抽象解释:间隔满足一致性(2013) 布鲁克,阿希姆D。; Wolff,Burkhart:基于定理证明的测试(2013) 格里戈里奇,米洛斯; Majumdar,Rupak:模型检查数据库应用(2013) Löwe,Stefan:基于CEGAR和插值的显式值分析Cpachecker。 (竞争贡献)(2013年) ioport公司 佩纳,胡安一世。; 乔治,克里斯:模型检查提高应用规范(2013) 波奇,汤姆š; ý,Ondřej; 普劳希尔、弗兰蒂舍克; Kofroň,Jan:线程行为协议(2013)