Software Testing, Verification and Reliability

Cover image for Vol. 26 Issue 7

Edited By: Jeff Offutt and Robert M. Hierons

Impact Factor: 1.082

ISI Journal Citation Reports © Ranking: 2015: 46/106 (Computer Science Software Engineering)

Online ISSN: 1099-1689

Associated Title(s): Journal of Software: Evolution and Process, Software Process: Improvement and Practice, Software: Practice and Experience

Most Cited

Top cited articles from 2014-2015 in Journal of Software: Testing, Verification and Reliability

A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering
Andrea Arcuri, Lionel Briand

Bridging the gap between easy generation and efficient verification of unsatisfiability proofs
Marijn J. H. Heule, Warren A. Hunt Jr., Nathan Wetzler

Automatic test case generation from Simulink/Stateflow models using model checking
Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K.C. Shashidhar, S. Ramesh