default search action
Software Testing, Verification & Reliability, Volume 26
Volume 26, Number 1, January 2016
- Robert M. Hierons
:
The dreaded desk reject. 3
- Shadi Ghaith
Anomaly detection in performance regression testing by transaction profile estimation. 4-39 - Alex Groce, Mohammad Amin Alipour
Cause reduction: delta debugging, even without bugs. 40-68 - Frolin S. Ocariza Jr., Guanpeng Li, Karthik Pattabiraman, Ali Mesbah
Automatic fault localization for client-side JavaScript. 69-88
Volume 26, Number 2, March 2016
- Jeff Offutt:
How to revise a research paper. 92-94
- Pedro Luis Mateo Navarro, Diego Sevilla Ruiz
A lightweight framework for dynamic GUI data verification based on scripts. 95-118 - Michael Felderer, Philipp Zech
Model-based security testing: a taxonomy and systematic classification. 119-148 - Hongda Wang, Jianchun Xing, Qiliang Yang, Wei Song, Xuewei Zhang:
Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications. 149-169
Volume 26, Number 3, May 2016
- Jeff Offutt:
How to write an effective "Response to Reviewers" letter. 174-175
- Junjie Xu, Rong Chen, Zhenjun Du:
Probabilistic reasoning in diagnosing causes of program failures. 176-210 - Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
Behaviour abstraction adequacy criteria for API call protocol testing. 211-244 - Upulee Kanewala
Predicting metamorphic relations for testing scientific software: a machine learning approach using graph kernels. 245-269
Volume 26, Number 4, June 2016
- Jeff Offutt:
Editorial: STVR policy on extending conference papers to journal submissions. 274-275
- Kuan-Li Peng, Chin-Yu Huang:
Stochastic modelling and simulation approaches to analysing enhanced fault tolerance on service-based software systems. 276-293 - Marc Aiguier, Agnès Arnould, Pascale Le Gall
Exhaustive test sets for algebraic specifications. 294-317 - Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence:
Using combinatorial testing to build navigation graphs for dynamic web applications. 318-346
Volume 26, Number 5, August 2016
- Jeff Offutt:
Editorial: Changes to STVR's Editorial Board. 350
- Yu Liu, Duo Li, Lujia Wang
A general modeling and analysis framework for software fault detection and correction process. 351-365 - José Miguel Rojas
Seeding strategies in search-based unit test generation. 366-401 - Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim:
Prioritizing test cases for early detection of refactoring faults. 402-426
Volume 26, Number 6, September 2016
- Robert M. Hierons:
Editorial. 430
- Bing Liu, Lucia, Shiva Nejati
Simulink fault localization: an iterative statistical debugging approach. 431-459 - Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
UCov: a user-defined coverage criterion for test case intent verification. 460-491
Volume 26, Number 7, November 2016
- Jeff Offutt:
Editorial: How to extend a conference paper to a journal paper. 496-497
- Tiejian Wang, Zhiwu Zhang
Non-negative sparse-based SemiBoost for software defect prediction. 498-515 - Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy:
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. 516-542
Volume 26, Number 8, December 2016
- Jeff Offutt:
Editorial: The Downward Death Spiral Review Process. 546-547
- Suman Roy
A simplification of a real-time verification problem. 548-571
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: