Software Testing, Verification & Reliability, Volume 23

Volume 23, Number 1, January 2013

Research Articles

• 
  Monika Kapus-Kolar:
  Error-preserving local transformations on communication protocols. 3-25
• 
  Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel:
  An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces. 27-51
• 
  Abdeslam En-Nouaary:
  A test purpose-based approach for testing timed input output automata. 53-76
• 
  Yoshinobu Tamura, Shigeru Yamada:
  Reliability assessment based on hazard rate model for an embedded OSS porting-phase. 77-88

Volume 23, Number 2, March 2013

Editorial

• 
  Jeff Offutt:
  What I have learned from usability. 89

Research Articles

• 
  Adilson Luiz Bonifácio, Arnaldo Vieira Moura:
  A new method for testing timed systems. 91-117
• 
  Andrea Arcuri:
  It really does matter how you normalize the branch distance in search-based software testing. 119-147
• 
  Ramesh Kumar Garg, Kapil Sharma, Chander Kumar Nagpal, Rakesh Garg, Rajpal Garg, Rajive Kumar, Sandhya:
  Ranking of software engineering metrics by fuzzy-based matrix methodology. 149-168

Volume 23, Number 3, May 2013

Editorial

• 
  Jeff Offutt:
  The globalization of software engineering. 169-170

Research Articles

• 
  Márcio Eduardo Delamaro, Fátima de Lourdes dos Santos Nunes, Rafael Alves Paes de Oliveira:
  Using concepts of content-based image retrieval to implement graphical testing oracles. 171-198
• 
  Domenico Cotroneo, Salvatore Orlando, Roberto Pietrantuono, Stefano Russo:
  A measurement-based ageing analysis of the JVM. 199-239
• 
  Benny Godlin, Ofer Strichman:
  Regression verification: proving the equivalence of similar programs. 241-258

Volume 23, Number 4, June 2013

Editorial

• 
  Jeff Offutt:
  Editorial: globalization - language and dialects. 259-260

Research Articles

• 
  Mustafa Bozkurt, Mark Harman, Youssef Hassoun:
  Testing and verification in service-oriented architecture: a survey. 261-313
• 
  Pedro Reales Mateo, Macario Polo Usaola:
  Parallel mutation testing. 315-350

Volume 23, Number 5, August 2013

ICST 2010, the Third IEEE International Conference on Software Testing, Verification and Validation

• 
  Ana R. Cavalli, Sudipto Ghosh:
  ICST 2010 Special Issue. 351
• 
  David Schuler, Andreas Zeller:
  Covering and Uncovering Equivalent Mutants. 353-374
• 
  Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov:
  Efficient mutation testing of multithreaded code. 375-403

Special Issue Paper

• 
  Márk Asztalos, László Lengyel, Tihamer Levendovszky:
  Formal specification and analysis of functional properties of graph rewriting-based model transformation. 405-435

Volume 23, Number 6, September 2013

ICST 2011, the Fourth IEEE International Conference on Software Testing, Verification and Validation - Volume 1

• 
  Mark Harman, Bogdan Korel:
  Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011). 437
• 
  Sara Sprenkle, Lori L. Pollock, Lucy Simko:
  Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour. 439-464
• 
  Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar:
  Testing of data-centric and event-based dynamic service compositions. 465-497
• 
  Raúl A. Santelices, Mary Jean Harrold:
  Demand-driven propagation-based strategies for testing changes. 499-528

Volume 23, Number 7, November 2013

ICST 2011, the Fourth IEEE International Conference on Software Testing, Verification and Validation - Volume 2

• 
  Mark Harman, Bogdan Korel:
  Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011). 529
• 
  David Schuler, Andreas Zeller:
  Checked coverage: an indicator for oracle quality. 531-551
• 
  Gordon Fraser, Andrea Arcuri:
  Handling test length bloat. 553-582

Volume 23, Number 8, December 2013

Editorial

• 
  Jeff Offutt:
  A tribute to Mary Jean Harrold. 583-584

Research Articles

• 
  Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura:
  Incremental testing of finite state machines. 585-612
• 
  Bixin Li, Xiaobing Sun, Hareton Leung, Sai Zhang:
  A survey of code-based change impact analysis techniques. 613-646
• 
  Sang-Woon Kim, Yu-Seung Ma, Yong Rae Kwon:
  Combining weak and strong mutation for a noninterpretive Java mutation system. 647-668