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

Volume 20, Number 1, March 2010

• Jeff Offutt:
  Editorial: OOP and discrete math. 1-2
  

• María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz:
  Verification of real-time systems design. 3-37
  
• Tai Hyo Kim, Hojung Bang, Sung Deok Cha:
  A systematic representation of path constraints for implicit path enumeration technique. 39-61
  
• Lance Fiondella, Swapna S. Gokhale:
  Importance measures for modular software with uncertain parameters. 63-85
  

Volume 20, Number 2, June 2010

• Jeff Offutt:
  Editorial: People are approximators, not perfectors. 87-88
  

• W. K. Chan, Jeffrey C. F. Ho, T. H. Tse:
  Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs. 89-120
  
• Wes Masri:
  Fault localization based on information flow coverage. 121-147
  
• Andreas Griesmayer, Stefan Staber, Roderick Bloem:
  Fault localization using a model checker. 149-173
  

Volume 20, Number 3, September 2010

• Jeff Offutt:
  Editorial: Agility must be good for testing. 175-176
  

• Lionel C. Briand, Yvan Labiche, Q. Lin:
  Improving the coverage criteria of UML state machines using data flow analysis. 177-207
  
• Ruilian Zhao, Michael R. Lyu, Yinghua Min:
  Automatic string test data generation for detecting domain errors. 209-236
  
• Javier Tuya, María José Suárez Cabal, Claudio de la Riva:
  Full predicate coverage for testing SQL database queries. 237-288
  

Volume 20, Number 4, December 2010

• Jeff Offutt:
  Editorial: Ethics and Publishing. 289-290
  

• Roger T. Alexander, Jeff Offutt, Andreas Stefik:
  Testing coupling relationships in object-oriented programs. 291-327
  
• Jane Huffman Hayes, Jeff Offutt:
  Recognizing authors: an examination of the consistent programmer hypothesis. 329-356
  

Last update Mon May 20 03:42:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page