1099-1689/asset/olbannerleft.jpg?v=1&s=f177ca3aecdb1afaf18649c31eb98c6a5a2ba179)
1099-1689/asset/olbannerright.jpg?v=1&s=c31cdb59b8e8855ed28bf83573e9f1693e3f9a0e)
Software Testing, Verification and Reliability
© John Wiley & Sons, Ltd.
Edited By: Jeff Offutt and Robert M. Hierons
Impact Factor: 0.957
ISI Journal Citation Reports © Ranking: 2011: 46/104 (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
Fault localization using a model checker
Andreas Griesmayer, Stefan Staber, Roderick Bloem, Volume 20, Issue 2, pages 149–173, June 2010
Fault localization based on information flow coverage
Wes Masri, Volume 20, Issue 2, pages 121–147, June 2010
Improving the coverage criteria of UML state machines using data flow analysis
Lionel Briand, Y. Labiche, Q. Lin, Volume 20, Issue 3, pages 177–207, September 2010
Full predicate coverage for testing SQL database queries
Javier Tuya, Maria Jose Suarez-Cabal, Claudio de la Riva, Volume 20, Issue 3, pages 237–288, September 2010
Verification of real-time systems design
M. Emilia Cambronero, Valentin Valero, Gregorio Diaz, Volume 20, Issue 1, pages 3–37, March 2010
Importance measures for modular software with uncertain parameters
Lance N. Fiondella, Swapna S. Gokhale, Volume 20, Issue 1, pages 63–85, March 2010
A systematic representation of path constraints for implicit path enumeration technique
Tai Hyo Kim, Ho Jung Bang, Sung Deok Cha, Volume 20, Issue 1, pages 39–61, March 2010
Editorial: OOP and discrete math
Jeff Offutt, Volume 20, Issue 1, pages 1–2, March 2010
Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs
W. K. Chan, Jeffrey C. F. Ho, T. H. Tse, Volume 20, Issue 2, pages 89–120, June 2010
Editorial: People are approximators, not perfectors
Jeff Offutt, Volume 20, Issue 2, pages 87–88, June 2010