SOFTWARE TESTING VERIFICATION & RELIABILITY《软件测试、验证与可靠性》(一年8期). Software Testing, Verification and Reliability (STVR) is an international journal, publishing 8 issues per year. It publishes papers on theoretical and practical issues of software testing, verification and reliability. The goal of the journal is to publish high-quality papers that help researchers, educators and practitioners understand cutting edge results.