Dept. of Software Eng., Univ. of Erlangen-Nuremberg, Erlangen, Germany;
formal verification; object-oriented programming; program testing; software reliability; component-based software systems; reliability testing; validation activities; verification activities; Component; Coverage; Failure; Fault; Integration; Reliability; Software; Testing;
机译:基于路径测试的复杂基于组件的软件系统的自适应可靠性分析
机译:基于新的组件可靠性模型,以预测基于组件的软件的可靠性
机译:组件集成效果图:基于组件的软件的黑盒测试和测试用例生成技术
机译:基于组件的软件系统的集成与可靠性测试
机译:错误传播对基于组件的系统的软件可靠性分析的影响。
机译:动态配置和计算机辅助干预系统的控制基于构件的软件
机译:基于新的组件的可靠性模型,以预测基于组件的软件的可靠性
机译:软件可靠性,测量和测试软件可靠性和TestIntegration