Skip to search formSkip to main contentSkip to account menu

Software Testing, Verification & Reliability

Known as: STVR, Software Testing, Verification and Reliability 
Software Testing, Verification & Reliability (STVR) is a journal in the field of software testing, verification, and reliability. STVR is a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
DBL-BrowserMartin WoodwardReliability engineeringSoftware engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Mutation operators for feature‐oriented software product lines
Mutation testing is an approach to assess the quality of test cases. Mutants are modified versions of a system that ideally… 
2016
2016
Editorial: STVR policy on extending conference papers to journal submissions
This issue presents three novel solutions to quite dif fi cult problems. Stochastic modelling and simulation approaches to… 
2016
2016
Editorial: How to extend a conference paper to a journal paper
This issue contains two highly technical papers on fault prediction and model checking. Non-negative sparse-based SemiBoost for… 
2015
2015
Higher accuracy and lower run time: efficient mutation analysis using non‐redundant mutation operators
Mutation analysis is a powerful but computationally expensive method to measure the effectiveness of a testing or debugging… 
2009
2009
An Optimized technique for Test Case Generation and Prioritization Using 'Tabu' Search and 'Data Clustering'
In practice, an available testing budget limits the number of test cases that can be executed over particular software. This… 
2008
2008
Parallel algorithms for molecular dynamics with induction forces
2007
2007
A symmetric transformation for 3-body potential molecular dynamics using force-decomposition in a heterogeneous distributed environment
Evaluating the Force Matrix constitutes the most computationally intensive part of a Classical Molecular Dynamics (MD) simulation… 
2006
2006
Modified force decomposition algorithms for calculating three-body interactions via molecular dynamics
2006
2006
A Tribute to Martin Woodward
As this issue of STVR was going to press, we were all shocked by the sudden death of Martin Woodward on October 27, 2006. As you… 
2001
2001
Editorial: Putting specifications to the test
For September 2001, STVR reverts to being a regular issue, after the previous one which was devoted to a collection of papers… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)