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

Volume 15, Number 1, March 2005

• Lee J. White:
  Editorial: Looking for surprises in testing? 1-2
  
• Felix Redmill:
  Theory and practice of risk-based testing. 3-20
  
• Kalpesh Kapoor, Jonathan P. Bowen:
  A formal analysis of MCDC and RCDC test criteria. 21-40
  
• Gareth Lee, John Morris, Kris Parker, Gary A. Bundell, Chiou Peng Lam:
  Using symbolic execution to guide test generation. 41-61
  

Volume 15, Number 2, June 2005

• Martin R. Woodward:
  Editorial: On mutants, metaphors and scientific creativity. 71-72
  
• Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
  From genetic to bacteriological algorithms for mutation-based testing. 73-96
  
• Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon:
  MuJava: an automated class mutation system. 97-133
  
• Robert M. Hierons:
  Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004, ISBN 981-238-854-0. 135-136
  
• Stuart Reid:
  The Art of Software Testing, Second edition. Glenford J. Myers. Revised and updated by Tom Badgett and Todd M. Thomas, with Corey Sandler. John Wiley and Sons, New Jersey, USA, 2004, ISBN 0-471-46912-2. 136-137
  

Volume 15, Number 3, September 2005

• Derek Yates:
  Editorial: ... and the wheel keeps turning. 143-144
  

• Daniel Karlström, Per Runeson, Sara Nordén:
  A minimal test practice framework for emerging software organizations. 145-166
  
• Mats Grindal, Jeff Offutt, Sten F. Andler:
  Combination testing strategies: a survey. 167-199
  

• Thomas Thelin:
  Software Testing and Continuous Quality Improvement. Second Edition. By William E. Lewis. Technical Contributor: Gunasekaran Veerapillai. Published by Auerbach Publications, 2005, ISBN: 0-8493-2524-2, pp 534. 201-202
  
• Joël Ouaknine:
  Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Springer, Texts in Theoretical Computer Science Series, 2004, ISBN: 3-540-00296-0, pp 600. 202-203
  

Volume 15, Number 4, December 2005

• Robert M. Hierons:
  Editorial: Validating our findings. 209-210
  

• Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
  Specification and testing of autonomous agents in e-commerce systems. 211-233
  
• Daniel Hoffman, Paul A. Strooper, Sarah Wilkin:
  Tool support for executable documentation of Java class hierarchies. 235-256
  
• Jung-Min Kim, Adam A. Porter, Gregg Rothermel:
  An empirical study of regression test application frequency. 257-279
  

• Nathan Baddoo:
  Achieving Software Quality Through Teamwork. By Isabel Evans. Artech House, 2004, ISBN: 1-58053-662-X, pp 296. 281-282