Evolvable systems; runtime testing; safe validation; test isolation strategies;
机译:用于安全关键系统的软件可靠性演示的最佳统计测试策略
机译:适用于动态和分布式系统的安全有效的运行时测试框架
机译:使用基于软件故障树的可测性度量来测试数字安全系统软件
机译:测试隔离策略,以便安全运行时间验证进化软件系统
机译:测试和维护不断发展的软件系统。
机译:系统生物学研究工具:可演化的开源软件
机译:用于安全关键系统的软件可靠性演示的最佳统计测试策略
机译:核软件系统部(NssD)软件测试和验证指南。