External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 26, Issue 8

    546 -- 547Jeff Offutt. Editorial: The Downward Death Spiral Review Process
    548 -- 571Suman Roy, Janardan Misra, Indranil Saha. A simplification of a real-time verification problem

    Volume 26, Issue 7

    496 -- 497Jeff Offutt. Editorial: How to extend a conference paper to a journal paper
    498 -- 515Tiejian Wang, Zhiwu Zhang, Xiaoyuan Jing, Yanli Liu. Non-negative sparse-based SemiBoost for software defect prediction
    516 -- 542Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

    Volume 26, Issue 6

    430 -- 0Robert M. Hierons. Editorial
    431 -- 459Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann. Simulink fault localization: an iterative statistical debugging approach
    460 -- 491Rawad Abou Assi, Wes Masri, Fadi A. Zaraket. UCov: a user-defined coverage criterion for test case intent verification

    Volume 26, Issue 5

    350 -- 0Jeff Offutt. Editorial: Changes to STVR's Editorial Board
    351 -- 365Yu Liu, Duo Li, Lujia Wang, Qingpei Hu. A general modeling and analysis framework for software fault detection and correction process
    366 -- 401José Miguel Rojas, Gordon Fraser, Andrea Arcuri. Seeding strategies in search-based unit test generation
    402 -- 426Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim. Prioritizing test cases for early detection of refactoring faults

    Volume 26, Issue 4

    274 -- 275Jeff Offutt. Editorial: STVR policy on extending conference papers to journal submissions
    276 -- 293Kuan-Li Peng, Chin-Yu Huang. Stochastic modelling and simulation approaches to analysing enhanced fault tolerance on service-based software systems
    294 -- 317Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Exhaustive test sets for algebraic specifications
    318 -- 346Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence. Using combinatorial testing to build navigation graphs for dynamic web applications

    Volume 26, Issue 3

    174 -- 175Jeff Offutt. How to write an effective "Response to Reviewers" letter
    176 -- 210Junjie Xu, Rong Chen, Zhenjun Du. Probabilistic reasoning in diagnosing causes of program failures
    211 -- 244Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel. Behaviour abstraction adequacy criteria for API call protocol testing
    245 -- 269Upulee Kanewala, James M. Bieman, Asa Ben-Hur. Predicting metamorphic relations for testing scientific software: a machine learning approach using graph kernels

    Volume 26, Issue 2

    92 -- 94Jeff Offutt. How to revise a research paper
    95 -- 118Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, Gregorio Martínez Pérez. A lightweight framework for dynamic GUI data verification based on scripts
    119 -- 148Michael Felderer, Philipp Zech, Ruth Breu, Matthias Büchler, Alexander Pretschner. Model-based security testing: a taxonomy and systematic classification
    149 -- 169Hongda Wang, Jianchun Xing, Qiliang Yang, Wei Song, Xuewei Zhang. Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications

    Volume 26, Issue 1

    3 -- 0Robert M. Hierons. The dreaded desk reject
    4 -- 39Shadi Ghaith, Miao Wang, Philip Perry, Zhen Ming Jiang, Patrick O'Sullivan, John Murphy. Anomaly detection in performance regression testing by transaction profile estimation
    40 -- 68Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr. Cause reduction: delta debugging, even without bugs
    69 -- 88Frolin S. Ocariza Jr., Guanpeng Li, Karthik Pattabiraman, Ali Mesbah 0001. Automatic fault localization for client-side JavaScript
    runs on