Software Testing, Verification and Reliability

Cover image for Vol. 24 Issue 7

Edited By: Jeff Offutt and Robert M. Hierons

Impact Factor: 1.2

ISI Journal Citation Reports © Ranking: 2013: 37/105 (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

Read top cited papers published in 2010-2011:

Model-based quality assurance of protocol documentation: tools and methodology
Author(s): Grieskamp, Wolfgang; Kicillof, Nicolas; Stobie, Keith; et al.
Volume: 21 Issue: 1

Fault localization based on information flow coverage
Author(s): Masri, Wes
Volume: 20 Issue: 2

On the use of a similarity function for test case selection in the context of model-based testing
Author(s): Cartaxo, Emanuela G.; Machado, Patricia D. L.; Oliveira Neto, Francisco G.
Volume: 21 Issue: 2

Full predicate coverage for testing SQL database queries
Author(s): Tuya, Javier; Jose Suarez-Cabal, Maria; de la Riva, Claudio
Volume: 20 Issue: 3

Verification support for ARINC-653-based avionics software
Author(s): de la Camara, Pedro; Raul Castro, J.; del Mar Gallardo, Maria; et al.
Volume: 21 Issue: 4

Fault-driven stress testing of distributed real-time software based on UML models
Author(s): Garousi, Vahid
Volume: 21 Issue: 2

OSMOSE: automatic structural testing of executables
Author(s): Bardin, Sebastien; Herrmann, Philippe
Volume: 21 Issue: 1

Improving the coverage criteria of UML state machines using data flow analysis
Author(s): Briand, Lionel; Labiche, Y.; Lin, Q.
Volume: 20 Issue: 3

Fault localization using a model checker
Author(s): Griesmayer, Andreas; Staber, Stefan; Bloem, Roderick
Volume: 20 Issue: 2

Importance measures for modular software with uncertain parameters
Author(s): Fiondella, Lance N.; Gokhale, Swapna S.
Volume: 20 Issue: 1