Software Testing, Verification and Reliability（或：SOFTWARE TESTING VERIFICATION & RELIABILITY）《软件测试、验证与可靠性》 （官网投稿）

等待设置主要研究方向

工程技术-COMPUTER SCIENCE, SOFTWARE ENGINEERING计算机：软件工程。重点关注主题（包括但不限于）：软件测试与验证的新准则；现有测试与验证技术在新类型软件中的应用（如网络应用、网络服务、嵌入式软件、面向方面软件、软件架构）；基于模型的测试；形式化验证技术（如模型检测）；测试与验证技术的对比研究；测试、验证与可靠性的度量标准与方法；尖端技术的工业实践案例；商业与开源软件测试工具的描述与评估；可靠性建模、测量与应用；软件安全的测试与验证；自动化测试数据生成；流程问题与方法；非功能性测试。