机译:基于软件的自我测试的故障无关的测试生成
机译:基于软件的自我测试,使用有限模型检查超出Unslard Superscalar处理器
机译:在基于软件的多核CPU的自我测试期间探索系统可用性
机译:基于故障的测试生成,用于基于软件的自测
机译:节能的基于软件的无线传感器网络节点自检
机译:南非农村地区年轻女性的艾滋病毒自我检测:一项随机对照试验比较了基于诊所的艾滋病毒检测与选择诊所检测或艾滋病毒自我检测以及对同伴和伴侣的二次分发
机译:基于软件的风险处理器自检
机译:测试生成系统D4LasaR简介。