Software Testing, Verification and Reliability

Most Accessed

View the top accessed papers in 2012, from Software Testing, Verification & Reliability:

A case study in model-based testing of specifications and implementations Vol 22:1

The h-index beats the impact factor Vol 22:1

On the testing of user-configurable software systems using firewalls Vol 22:1

Regression testing minimization, selection and prioritization: a survey Vol 22:2

A taxonomy of model-based testing approaches Vol 22:5

Model-based quality assurance of protocol documentation: tools and methodology Vol 21:1

Automatic string test data generation for detecting domain errors Vol 20:3

Guest Editorial for the Special Issue on Model-Based Testing Vol 22:5

Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs Vol 20:2

Search-based software test data generation: a survey Vol 14:2