Saarland University, Saarbruecken-66123, Germany;
University of Sheffield, UK;
Microsoft Research, WA, USA;
Microsoft Research, WA, USA;
机译:使用组合动态符号执行的浮点嵌入式软件的单元测试
机译:使用组成动态符号执行生成浮点嵌入式软件的单元测试
机译:使用符号执行为事件驱动的实时系统生成测试序列
机译:使用增强动态符号执行生成测试套件
机译:对测试套件在实践中针对由动态符号执行生成的测试套件的实证研究。
机译:恒压器或动态球囊扩张测试:哪种技术最适合食道感觉测试?
机译:使用增强动态符号执行生成测试套件