• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 1999
• 
  Myla Archer, Amy Lo, Ronald A. Olsson:
  Towards a Transformational Approach to Program Verification. Softw. Test. Verification Reliab. 9(2): 85-106 (1999)
• 
  Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini:
  A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. Softw. Test. Verification Reliab. 9(3): 145-166 (1999)
• 
  Simon Burton:
  Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review). Softw. Test. Verification Reliab. 9(2): 135-136 (1999)
• 
  John Derrick, Eerke A. Boiten:
  Testing Refinements of State-based Formal Specifications. Softw. Test. Verification Reliab. 9(1): 27-50 (1999)
• 
  Dorothy R. Graham:
  Surviving the Top Ten Challenges of Software Testing: a People-Oriented Approach, by William E. Perry and Randall W. Rice, Dorset House, 1997 (Book Review). Softw. Test. Verification Reliab. 9(2): 136-137 (1999)
• 
  Richard G. Hamlet:
  Tribute: John Gannon. Softw. Test. Verification Reliab. 9(4): 201-203 (1999)
• 
  Robert M. Hierons:
  Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review). Softw. Test. Verification Reliab. 9(1): 76-77 (1999)
• 
  Robert M. Hierons:
  Editorial: What does testing tell us? Softw. Test. Verification Reliab. 9(3): 143-144 (1999)
• 
  Robert M. Hierons:
  Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review). Softw. Test. Verification Reliab. 9(3): 191-193 (1999)
• 
  Robert M. Hierons, Mark Harman, Sebastian Danicic:
  Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test. Verification Reliab. 9(4): 233-262 (1999)
• 
  Daniel Hoffman, Paul A. Strooper, Lee J. White:
  Boundary Values and Automated Component Testing. Softw. Test. Verification Reliab. 9(1): 3-26 (1999)
• 
  Delia I. S. Marx, Phyllis G. Frankl:
  Path-sensitive Alias Analysis for Data Flow Testing. Softw. Test. Verification Reliab. 9(1): 51-73 (1999)
• 
  James Miller:
  Estimating the Number of Remaining Defects after Inspection. Softw. Test. Verification Reliab. 9(3): 167-189 (1999)
• 
  Elfurjani Sassi Mresa, Leonardo Bottaci:
  Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study. Softw. Test. Verification Reliab. 9(4): 205-232 (1999)
• 
  Roy P. Pargas, Mary Jean Harrold, Robert Peck:
  Test-Data Generation Using Genetic Algorithms. Softw. Test. Verification Reliab. 9(4): 263-282 (1999)
• 
  Geoff Quentin:
  Automated Software Testing: Introduction, Management and Performance, Elfriede Dustin, Jeff Rashka and John Paul, Addison-Wesley, 1999 (Book Review). Softw. Test. Verification Reliab. 9(4): 283-284 (1999)
• 
  Stuart Reid:
  Software Fault Injection: Inoculating Programs Against Errors, by Jeffrey Voas and Gary McGraw, Wiley, 1998 (Book Review). Softw. Test. Verification Reliab. 9(1): 75-76 (1999)
• 
  Marc Roper:
  Testing Object-Oriented Software, by David C. Kung, Pei Hsia and Jerry Gao, IEEE Computer Society, 1998 (Book Review). Softw. Test. Verification Reliab. 9(3): 193-194 (1999)
• 
  Lee J. White:
  Editorial: Submission of Position Papers and Letters to the Editor. Softw. Test. Verification Reliab. 9(4): 199-200 (1999)
• 
  Martin R. Woodward:
  Editorial: V is for Verification. Softw. Test. Verification Reliab. 9(2): 83-84 (1999)
• 
  Hongji Yang:
  The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Ian Warren, Springer-Verlag, 1999 (Book Review). Softw. Test. Verification Reliab. 9(4): 283 (1999)
• 
  Derek Yates:
  Editorial: Crisis - What Crisis? Softw. Test. Verification Reliab. 9(1): 1-2 (1999)
• 
  Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt:
  LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test. Verification Reliab. 9(2): 107-133 (1999)