• 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 25 matches

• 2002
• 
  Aybüke Aurum, Håkan Petersson, Claes Wohlin:
  State-of-the-art: software inspections after 25 years. Softw. Test. Verification Reliab. 12(3): 133-154 (2002)
• 
  Richard Banach:
  Book Reviews. Softw. Test. Verification Reliab. 12(4): 278 (2002)
• 
  Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
  Model checking fault tolerant systems. Softw. Test. Verification Reliab. 12(4): 251-275 (2002)
• 
  Elizabeth Burd:
  Book Reviews. Softw. Test. Verification Reliab. 12(4): 277 (2002)
• 
  Wei Chen, Roland H. Untch, Gregg Rothermel, Sebastian G. Elbaum, Jeffery von Ronne:
  Can fault-exposure-potential estimates improve the fault detection abilities of test suites? Softw. Test. Verification Reliab. 12(4): 197-218 (2002)
• 
  Helen M. Edwards:
  Problem frames: analyzing and structuring software development problems. Softw. Test. Verification Reliab. 12(2): 124-125 (2002)
• 
  István Forgács, Antonia Bertolino:
  Preventing untestedness in data-flow based testing. Softw. Test. Verification Reliab. 12(1): 29-58 (2002)
• 
  Nicoletta De Francesco, Antonella Santone:
  Syntactic reductions for efficient deadlock analysis. Softw. Test. Verification Reliab. 12(3): 173-186 (2002)
• 
  Siegfried Göschl, Harry M. Sneed:
  Case study of testing a distributed internet-system. Softw. Test. Verification Reliab. 12(2): 77-92 (2002)
• 
  Robert M. Hierons:
  Editorial: Formal methods and testing. Softw. Test. Verification Reliab. 12(2): 69-70 (2002)
• 
  Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi:
  Conditioned slicing supports partition testing. Softw. Test. Verification Reliab. 12(1): 23-28 (2002)
• 
  Florian Kammüller:
  Book Reviews. Softw. Test. Verification Reliab. 12(3): 188-189 (2002)
• 
  Michael Leuschel:
  Book Reviews. Softw. Test. Verification Reliab. 12(3): 187-188 (2002)
• 
  Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
  Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test. Verification Reliab. 12(1): 3-21 (2002)
• 
  Ronald A. Olsson:
  Additional transformations for multiple-level escape statements. Softw. Test. Verification Reliab. 12(2): 71-76 (2002)
• 
  Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong:
  Empirical studies of test-suite reduction. Softw. Test. Verification Reliab. 12(4): 219-249 (2002)
• 
  Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon:
  An empirical evaluation of six methods to detect faults in software. Softw. Test. Verification Reliab. 12(3): 155-171 (2002)
• 
  Perdita Stevens:
  Refinement in Z and object-Z: foundations and advanced applications. Softw. Test. Verification Reliab. 12(1): 61 (2002)
• 
  Catherine Stringfellow, Anneliese Amschler Andrews, Claes Wohlin, Håkan Petersson:
  Estimating the number of components with defects post-release that showed no defects in testing. Softw. Test. Verification Reliab. 12(2): 93-122 (2002)
• 
  Geoff Thompson:
  Testing it: an off-the-shelf software testing process. Softw. Test. Verification Reliab. 12(2): 123 (2002)
• 
  Lee J. White:
  Editorial: The importance of empirical work for software engineering papers. Softw. Test. Verification Reliab. 12(4): 195-196 (2002)
• 
  Lee J. White, Martin R. Woodward:
  List of Referees. Softw. Test. Verification Reliab. 12(1): 63-64 (2002)
• 
  Robin W. Whitty:
  Digraphs: theory, algorithms and applications. Softw. Test. Verification Reliab. 12(1): 59-60 (2002)
• 
  Martin R. Woodward:
  Editorial: Little bugs and big bugs. Softw. Test. Verification Reliab. 12(3): 131-132 (2002)
• 
  Derek Yates:
  Editorial: Find the missing links? Softw. Test. Verification Reliab. 12(1): 1-2 (2002)