MetaSMT: a unified interface to SMT-LIB2
MetaSMT: a unified interface to SMT-LIB2
复制标题
MetaSMT：SMT-LIB2 的统一接口
DOI：
10.1109/fdl.2014.7119353
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Rolf Drechsler
中科院分区：
文献类型：
--
作者：
Heinz Riener;Mathias Soeken;Clemens Werther;Goerschwin Fey;Rolf Drechsler
使用模型检查技术从突变体生成测试用例
DOI：
--
发表时间：
2011
期刊：
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
影响因子：
--
作者：
Heinz Riener;R. Bloem;G. Fey
通讯作者：
G. Fey
利用硬件-软件-协同综合提高容错能力
DOI：
--
发表时间：
2013
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
Heinz Riener;Stefan Frehse;G. Fey
通讯作者：
G. Fey
CRAVE 2.0：SystemC 的下一代约束随机刺激发生器
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
H. M. Le;R. Drechsler
通讯作者：
R. Drechsler