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

• 2001
• 
  Ellen Francine Barbosa, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi:
  Toward the determination of sufficient mutant operators for C. Softw. Test. Verification Reliab. 11(2): 113-136 (2001)
• 
  Kirill Bogdanov, Mike Holcombe:
  Statechart testing method for aircraft control systems. Softw. Test. Verification Reliab. 11(1): 39-54 (2001)
• 
  Michelle Cartwright:
  Book Review: Experimentation in Software Engineering: An Introduction. By Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell and Anders Wesslén. Kluwer Academic Publishers, 1999, ISBN 0-7923-8682-5. Softw. Test. Verification Reliab. 11(3): 198-199 (2001)
• 
  Tsong Yueh Chen, Man Fai Lau:
  Test case selection strategies based on Boolean specifications. Softw. Test. Verification Reliab. 11(3): 165-180 (2001)
• 
  Stephen H. Edwards:
  A framework for practical, automated black-box testing of component-based software. Softw. Test. Verification Reliab. 11(2): 97-111 (2001)
• 
  Chris Fox:
  Book Review: Linux: The Complete Reference, Third Edition, by Richard Petersen, Osborne/McGraw-Hill. Softw. Test. Verification Reliab. 11(1): 55-58 (2001)
• 
  Sudipto Ghosh, Aditya P. Mathur:
  Interface mutation. Softw. Test. Verification Reliab. 11(3): 227-247 (2001)
• 
  Robert M. Hierons:
  Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885. Softw. Test. Verification Reliab. 11(3): 197-198 (2001)
• 
  Gerard J. Holzmann, Margaret H. Smith:
  Software model checking: extracting verification models from source code. Softw. Test. Verification Reliab. 11(2): 65-79 (2001)
• 
  Taeho Kim, Sung Deok Cha:
  Automated structural analysis of SCR-style software requirements specifications using PVS. Softw. Test. Verification Reliab. 11(3): 143-163 (2001)
• 
  Sun-Woo Kim, John A. Clark, John A. McDermid:
  Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test. Verification Reliab. 11(3): 207-225 (2001)
• 
  Kevin Lano:
  Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. Softw. Test. Verification Reliab. 11(1): 55 (2001)
• 
  Christophe Meudec:
  ATGen: automatic test data generation using constraint logic programming and symbolic execution. Softw. Test. Verification Reliab. 11(2): 81-96 (2001)
• 
  Kasilingam Periyasamy, Vangalur S. Alagar:
  A rigorous method for test templates generation from object-oriented specifications. Softw. Test. Verification Reliab. 11(1): 3-37 (2001)
• 
  Nigel Tracey, John Penix, Willem Visser:
  Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test. Verification Reliab. 11(2): 63-64 (2001)
• 
  Mark Utting, Steve Reeves:
  Teaching formal methods lite via testing. Softw. Test. Verification Reliab. 11(3): 181-195 (2001)
• 
  Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro:
  Unit and integration testing strategies for C programs using mutation. Softw. Test. Verification Reliab. 11(3): 249-268 (2001)
• 
  Lee J. White:
  Editorial: Specification-based testing revisited? Softw. Test. Verification Reliab. 11(1): 1-2 (2001)
• 
  W. Eric Wong:
  Editorial: Mutation 2000 - A Symposium on Mutation Testing. Softw. Test. Verification Reliab. 11(3): 205-206 (2001)
• 
  Martin R. Woodward:
  Editorial: Putting specifications to the test. Softw. Test. Verification Reliab. 11(3): 141-142 (2001)