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

• 2006
• 
  Wolfgang Grieskamp, Carsten Weise:
  Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3997, Springer 2006, ISBN 3-540-34454-3 [contents]
• 2005
• 
  Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre:
  Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217
• 
  Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes:
  Play to Test. FATES 2005: 32-46
• 
  Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
  Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15
• 
  Achim D. Brucker, Burkhart Wolff:
  Interactive Testing with HOL-TestGen. FATES 2005: 87-102
• 
  Antti Huima:
  A Note on an Anomaly in Black-Box Testing. FATES 2005: 47-61
• 
  Marcin Jurdzinski, Doron A. Peled, Hongyang Qu:
  Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
• 
  Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara:
  Model-Based Testing Through a GUI. FATES 2005: 16-31
• 
  Johannes Mayer:
  Adaptive Random Testing by Bisection and Localization. FATES 2005: 72-86
• 
  Manuel Núñez, Ismael Rodríguez:
  Conformance Testing Relations for Timed Systems. FATES 2005: 103-117
• 
  Doron A. Peled, Hongyang Qu:
  Time Unbalanced Partial Order. FATES 2005: 152-169
• 
  Alexandre Petrenko, Nina Yevtushenko:
  Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133
• 
  Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu:
  A Novel Test Coverage Metric for Concurrently-Accessed Software Components. FATES 2005: 62-71
• 
  Gaoyan Xie, Zhe Dang:
  Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. FATES 2005: 170-186
• 
  Sergey V. Zelenov, Sophia A. Zelenova:
  Automated Generation of Positive and Negative Tests for Parsers. FATES 2005: 187-202