dynamic analysis; formal proof; static analysis; test strategies;
机译:在发布业务云之前进行软件安全性测试-以超级计算机网格(XSEDE)为例
机译:在发布业务云之前进行软件安全性测试-以超级计算网格(XSEDE)为例
机译:当与精神分裂症患者的工作记忆训练相结合时,TDCS会产生增量收益:概念验证性先导研究
机译:结合测试和证据在软件中获得高度保证:案例研究
机译:通过部分证明组合对象导向软件的静态和动态验证
机译:从试点研究到赞比亚国家计划实施引入梅毒现场护理测试:对医护人员测试培训和质量保证观点的定性研究
机译:结合测试和证明在软件中获得高度保证:案例研究