Software Testing, Verification & Reliability

Software Testing, Verification and Reliability journal supports researchers, educators and practitioners to evaluate software better and ensure it reliably meets user requirements. We publish papers that use theory, practice and empirical work to provide techniques for testing, verifying and improving the reliability of software, as well as survey papers summarising current research in our field. We welcome submissions on software security, reliability modeling, measurement and application and automated test data generation.