Software engineering; Mathematical models; Algorithms; Military applications; Computer program verification;
机译:基于将物体的结构分解为典型元素的全息投影仪的合成方法及其实现软件包
机译:HoliCoW:自动中断基于团队的软件项目以激发学生测试
机译:一种两级编码方案的概念与实现,为传统测试软件开发基于计算机的测试(CBT)-ITEMS
机译:主题演讲:基于搜索的软件安全性软件测试:破解代码以使其更安全
机译:一项对世界500强金融机构对软件质量保证测试工具(SQATT)实施的用户感知的实施后调查的分析
机译:统计测试在外科手术研究软件帮助数据收集和协议分析中的实现和验证
机译:小型软件公司中的软件测试设计和实现