Java探路者

此软件的关键字
zbMATH参考文献(参考
120篇文章
Pham,Long H.;Le,Quang-Loc;Phan,Quoc-Sang;Sun,Jun;Qin,Shengchao:使用分离逻辑增强基于堆的程序的符号执行,以生成测试输入(2019年) Dennis,Louise A.;Fisher,Michael;Webster,Matt:两阶段代理程序验证(2018) Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018) Guthmuller,Marion;Corona,Gabriel;Quinson,Martin:遗留分布式应用程序正式动态验证的系统级状态平等检测(2018) Alexander Knüppel;Thüm,Thomas;Pardylla,Carsten Immanuel;Schaefer,Ina:理解演绎验证的参数:对key的实证调查(2018) 劳科,亨里希;罗凯,佩特;巴纳特,吉ří:通过程序转换的符号计算(2018) Jančk,Pavel;Kofroň,Jan:关于部分状态匹配(2017) Fred尥nedán编程(Fredèdïl,编程;Fred峎nel,2015;Germ峎in-logic) Kádár,István;Hegedűs,Péter;Ferenc,Rudolf:Java程序中使用符号执行的运行时异常检测(2014) Szabó,Csaba;Kotul,Maroš;Petruš,Richard:使用符号执行的软件重构的更深入研究(2014) Beckert,Bernhard;Klebanov,Vladimir:多线程程序演绎验证的动态逻辑(2013) Beyer,Dirk;Holzer,Andreas;Tautschnig,Michael;Veith,Helmut:用于多目标可达性分析的信息重用(2013) Brauer,Jörg;King,Andy;Kowalewski,Stefan:微控制器代码的抽象解释:间隔满足一致性(2013) Brucker,Achim D.;Wolff,Burkhart:基于定理证明的测试(2013) Gligoric,Milos;Majumdar,Rupak:模型检查数据库应用(2013) Löwe,Stefan:基于CEGAR和插值的显式值分析Cpachecker。 (竞争贡献)(2013年) ioport公司 Perna,Juan I.;George,Chris:模型检查提升应用规范(2013) Poch,Tomš;Нerý,Ondřej;Plšil,Františ;Kofroň,Jan:线程行为协议(2013) Christakis,Maria;Müller,Peter;Wüstholz,Valentin:《明确假设下的协同验证和测试》(2012) Kim,Moonzoo;Kim,Yunho;Choi,Yunja:闪存平台软件多扇区读取操作的联合测试(2012) ioport公司