Software Testing, Verification & Reliability (STVR), Volume 17

Volume 17, Number 1, March 2007

• Martin R. Woodward, Jeff Offutt:
  Editorial: Reflections on the past, present and future. 1-2
  

• Macario Polo, Sergio Tendero, Mario Piattini:
  Integrating techniques and tools for testing automation. 3-39
  
• Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
  Heuristics for fault diagnosis when testing from finite state machines. 41-57
  

Volume 17, Number 2, June 2007

• Jeff Offutt:
  Editorial: Introduction and plans for the future. 59-60
  

• Alessandro Orso, Hyunsook Do, Gregg Rothermel, Mary Jean Harrold, David S. Rosenblum:
  Using component metadata to regression test component-based software. 61-94
  
• Muhammad Jaffar-Ur Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini:
  Testing software components for integration: a survey of issues and techniques. 95-133
  

Volume 17, Number 3, September 2007

• Jeff Offutt:
  Editorial: Standards for reviewing papers. 135-136
  

• Atif M. Memon:
  An event-flow model of GUI-based applications for testing. 137-157
  
• Renée C. Bryce, Charles J. Colbourn:
  The density algorithm for pairwise interaction testing. 159-182
  
• Borislav Nikolik, Dick Hamlet:
  Practical ultra-reliability for abstract data types. 183-203
  

Volume 17, Number 4, December 2007

• Jeff Offutt:
  Editorial: Why should I review papers? 205-206
  

• Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung:
  A combinatorial testing strategy for concurrent programs. 207-225
  
• Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko:
  Studying the separability relation between finite state machines. 227-241
  
• Dick Hamlet:
  Software component composition: a subdomain-based testing-theory foundation. 243-269