Software Testing Verification and Reliability

期刊简介：The journal is the premier outlet for research results on the subjects of testing, verification and reliability. Readers will find useful research on issues pertaining to building better software and evaluating it.The journal is unique in its emphasis on theoretical foundations and applications to real-world software development. The balance of theory, empirical work, and practical applications provide readers with better techniques for testing, verifying and improving the reliability of software.The journal targets researchers, practitioners, educators and students that have a vested interest in results generated by high-quality testing, verification and reliability modeling and evaluation of software. Topics of special interest include, but are not limited to:-New criteria for software testing and verification-Application of existing software testing and verification techniques to new types of software, including web applications, web services, embedded software, aspect-oriented software, and software architectures-Model based testing-Formal verification techniques such as model-checking-Comparison of testing and verification techniques-Measurement of and metrics for testing, verification and reliability-Industrial experience with cutting edge techniques-Descriptions and evaluations of commercial and open-source software testing tools-Reliability modeling, measurement and application-Testing and verification of software security-Automated test data generation-Process issues and methods-Non-functional testing

【译文】该期刊是关于测试、验证和可靠性研究结果的顶级发布平台。读者将找到关于构建更好的软件及其评估的有用研究。该期刊在强调理论基础及其在现实世界软件开发中的应用方面独具特色。理论、实证工作和实际应用的平衡为读者提供了更好的测试、验证和改进软件可靠性的技术。该期刊针对对高质量测试、验证和可靠性建模与评估结果有利益关系的学者、实践者、教育者和学生。特别感兴趣的主题包括但不限于：-软件测试和验证的新标准-将现有的软件测试和验证技术应用于新型软件，包括Web应用、Web服务、嵌入式软件、面向方面的软件和软件架构-基于模型的测试-形式验证技术，如模型检查-测试和验证技术的比较-测试、验证和可靠性的测量和指标-尖端技术的工业经验-商业和开源软件测试工具的描述和评估-可靠性建模、测量和应用-软件安全测试和验证-自动测试数据生成-流程问题和方法-非功能性测试