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

該期刊是測(cè)試、驗(yàn)證和可靠性研究成果的主要渠道。讀者將找到有關(guān)構(gòu)建更好的軟件并對(duì)其進(jìn)行評(píng)估的有用研究。

該期刊的獨(dú)特之處在于它強(qiáng)調(diào)理論基礎(chǔ)和實(shí)際軟件開發(fā)的應(yīng)用。理論、實(shí)證工作和實(shí)際應(yīng)用之間的平衡為讀者提供了更好的測(cè)試、驗(yàn)證和提高軟件可靠性的技術(shù)。

該期刊的目標(biāo)讀者是研究人員、從業(yè)者、教育工作者和學(xué)生，他們對(duì)高質(zhì)量測(cè)試、驗(yàn)證和可靠性建模和評(píng)估軟件所產(chǎn)生的結(jié)果有著濃厚的興趣。特別感興趣的主題包括但不限于：

-軟件測(cè)試和驗(yàn)證的新標(biāo)準(zhǔn)

-現(xiàn)有軟件測(cè)試和驗(yàn)證技術(shù)在新型軟件中的應(yīng)用，包括 Web 應(yīng)用程序、Web 服務(wù)、嵌入式軟件、面向方面的軟件和軟件架構(gòu)

-基于模型的測(cè)試

-形式化驗(yàn)證技術(shù)，如模型檢查

-測(cè)試和驗(yàn)證技術(shù)的比較

-測(cè)試、驗(yàn)證和可靠性的測(cè)量和指標(biāo)

-具有尖端技術(shù)的行業(yè)經(jīng)驗(yàn)

-商業(yè)和開源軟件測(cè)試工具的描述和評(píng)估

-可靠性建模、測(cè)量和應(yīng)用

-軟件安全性的測(cè)試和驗(yàn)證

-自動(dòng)測(cè)試數(shù)據(jù)生成

-流程問(wèn)題和方法

-非功能性測(cè)試

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