Software Testing Verification & Reliability

Journal Title：Software Testing Verification & 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 服務、嵌入式軟件、面向方面的軟件和軟件架構

-基于模型的測試

-形式化驗證技術，如模型檢查

-測試和驗證技術的比較

-測試、驗證和可靠性的測量和指標

-具有尖端技術的行業經驗

-商業和開源軟件測試工具的描述和評估

-可靠性建模、測量和應用

-軟件安全性的測試和驗證

-自動測試數據生成

-流程問題和方法

-非功能性測試

Software Testing Verification & Reliability創刊于1991年，由John Wiley and Sons Ltd出版商出版，收稿方向涵蓋工程技術 - 計算機：軟件工程全領域，此期刊水平偏中等偏靠后，在所屬細分領域中專業影響力一般，過審相對較易，如果您文章質量佳，選擇此期刊，發表機率較高。平均審稿速度 12周，或約稿 ，影響因子指數1.5，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。