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 verificationApplication of existing software testing and verification techniques to new types of software, including web applications, web services, embedded software, aspect-oriented software, and software architecturesModel based testingFormal verification techniques such as model-checkingComparison of testing and verification techniquesMeasurement of and metrics for testing, verification and reliabilityIndustrial experience with cutting edge techniquesDescriptions and evaluations of commercial and open-source software testing toolsReliability modeling, measurement and applicationTesting and verification of software securityAutomated test data generationProcess issues and methodsNon-functional testingTypes of contributions include:Research Papers reporting original work, either theoretical or practical, which increase knowledge, understanding or practice in software testing, verification or reliability. Refereed prior to publication.Survey Papers that detail all the current knowledge in a specific area. Refereed.Each scientific paper will be thoroughly reviewed by at least three reviewers.

該雜志是測試、驗證和可靠性研究成果的主要渠道。讀者將發現有關構建更好的軟件和評估它的問題的有用研究。該期刊特別強調理論基礎和在現實軟件開發中的應用。理論、經驗工作和實際應用的平衡為讀者提供了更好的測試、驗證和提高軟件可靠性的技術。該雜志的目標是研究人員、實踐者、教育者和學生，他們對軟件的高質量測試、驗證和可靠性建模和評估所產生的結果具有既得利益。特別感興趣的主題包括但不限于：軟件測試和驗證的新標準將現有的軟件測試和驗證技術應用于新類型的軟件，包括Web應用程序、Web服務、嵌入式軟件、面向方面的軟件和軟件架構基于模型的測試正式的驗證技術，如模型檢查測試和驗證技術的比較測試、驗證和可靠性的測量和度量具有尖端技術的行業經驗商業和開源軟件測試工具的描述和評估可靠性建模、測量與應用軟件安全性的測試和驗證自動測試數據生成過程問題和方法非功能測試捐款類型包括：報告原始工作的研究論文，無論是理論上的還是實踐上的，都能增加軟件測試、驗證或可靠性方面的知識、理解或實踐。在出版之前進行評審。調查論文詳細介紹了特定領域的所有當前知識。審閱。每一篇科學論文將由至少三名評審員進行徹底的評審。