Software Eng., George Mason Univ., Fairfax, VA;
logic testing; program testing; software fault tolerance; avionics software; component criterion feasibility; double fault detection; logic criterion; software testing; Disjunctive Normal Form; Fault Coupling; Logic Criteria; MUMCUT;
机译:在保留故障检测的同时减少逻辑测试集的大小
机译:用于检测双固定极性Reed-Muller可编程逻辑阵列中卡住和桥接故障的通用测试仪
机译:故障检测测试集,可通过ESOP表达实现逻辑功能的可测试实现
机译:使用逻辑准则可行性降低测试集大小,同时保证双重故障检测
机译:设计测试方法以减少测试集的大小
机译:低强度经颅交流刺激减少了家庭应用设置中的偏头痛攻击负担:双盲随机可行性研究
机译:测试集大小最小化和故障检测有效性:空间应用中的案例研究