Software Testing, Verification & Reliability, Volume 22

Volume 22, Number 1, January 2012

• Jeff Offutt:
  The h-index beats the impact factor. 1-2
  

• Brian Robinson, Lee J. White:
  On the testing of user-configurable software systems using firewalls. 3-31
  
• Tim Miller, Paul A. Strooper:
  A case study in model-based testing of specifications and implementations. 33-63
  

Volume 22, Number 2, March 2012

• Shin Yoo, Mark Harman:
  Regression testing minimization, selection and prioritization: a survey. 67-120
  
• Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao:
  Timing analysis of scenario-based specifications using linear programming. 121-143
  

Volume 22, Number 3, May 2012

• Jeff Offutt:
  Non-expert reviews considered helpful. 145
  

• Peter J. Clarke, James F. Power, Djuradj Babich, Tariq M. King:
  A testing strategy for abstract classes. 147-169
  
• Shin Yoo, Mark Harman:
  Test data regeneration: generating new test data from existing test data. 171-201
  
• Ramin Gholizadeh, Aliakbar Mastani Shirazi, Bahram Sadeghpour Gildeh:
  Fuzzy Bayesian system reliability assessment based on prior two-parameter exponential distribution under different loss functions. 203-217
  

Volume 22, Number 4, June 2012

• Jeff Offutt:
  Status and Awards. 219
  

• Zhiquan Zhou, Shujia Zhang, Markus Hagenbuchner, T. H. Tse, Fei-Ching Kuo, Tsong Yueh Chen:
  Automated functional testing of online search services. 221-243
  
• Minh Ngoc Ngo, Hee Beng Kuan Tan:
  Automated verification and testing of user-interactive undo features in database applications. 245-265
  
• Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang:
  Testing aspect-oriented programs with finite state machines. 267-293
  

Volume 22, Number 5, August 2012

• Paul Ammann, Gordon Fraser, Franz Wotawa:
  Guest Editorial for the Special Issue on Model-Based Testing. 295-296
  
• Mark Utting, Alexander Pretschner, Bruno Legeard:
  A taxonomy of model-based testing approaches. 297-312
  
• Marek Janicki, Mika Katara, Tuula Pääkkönen:
  Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey. 313-341
  
• Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchère:
  Applying formal methods to PCEP: an industrial case study from modeling to test generation. 343-361
  

Volume 22, Number 6, September 2012

• César Andrés, Mercedes G. Merayo, Manuel Núñez:
  Formal passive testing of timed systems: theory and tools. 365-405
  
• Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot:
  Scenario-based testing using symbolic animation of B models. 407-434
  
• Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
  On reducing test length for FSMs with extra states. 435-454
  

Volume 22, Number 7, November 2012

• Manoranjan Satpathy, Anand Yeolekar, Prakash Peranandam, S. Ramesh:
  Efficient coverage of parallel and hierarchical stateflow models for test case generation. 457-479
  
• Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural:
  Regression test suite prioritization using system models. 481-506
  
• Andrea Calvagna, Angelo Gargantini:
  T-wise combinatorial interaction test suites construction based on coverage inheritance. 507-526
  

Volume 22, Number 8, December 2012

• Jeff Offutt:
  Flipping the testing classroom. 527-528
  

• Andres Flores, Macario Polo:
  Testing-based process for component substitutability. 529-561
  
• Fabio Martinelli, Ilaria Matteucci:
  A framework for automatic generation of security controller. 563-582
  
• Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
  A formal framework to test soft and hard deadlines in timed systems. 583-608
  

Last update Sat May 18 20:54:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page