Software Testing, Verification & Reliability（STVR ）的VOLUME 29 - 2019论文列表

Memory models in symbolic execution: key ideas and new thoughts.

A heterogeneous single changepoint software reliability growth model framework.

Editorial: New Chapter Ahead.

Tao Xie

An end-user-centric test generation methodology for performance evaluation of mobile networked applications.

An improved software reliability prediction model by using high precision error iterative analysis method.

The world changes.

Robert M. Hierons

Choosing the fitness function for the job: Automated generation of test suites that detect real faults.

A formal approach to automatically analyse extra-functional properties in mobile applications.

Farewell and thanks for all the reviews.

Jeff Offutt

Coincidental correctness in the Defects4J benchmark.

Event tree algorithms to generate test sequences for composite Web services.

I love journal papers and you should too.

Jeff Offutt

Mutation operators for feature-oriented software product lines.

Fault-based test generation for regular expressions by mutation.

MuMonDE: A framework for evaluating model clone detectors using model mutation analysis.

Empirical evaluation of mutation-based test case prioritization techniques.

Possibility of cost reduction by mutant clustering according to the clustering scope.

On strong mutation and the theory of subsuming logic-based mutants.

Special issue on mutation testing and analysis.