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

• 2008
• 
  Thomas Ball, Orna Kupferman:
  Vacuity in Testing. TAP 2008: 4-17
• 
  Andrea Calvagna, Angelo Gargantini:
  A Logic-Based Approach to Combinatorial Testing with Constraints. TAP 2008: 66-83
• 
  Zining Cao:
  Equivalence Checking for a Finite Higher Order pi-Calculus. TAP 2008: 30-47
• 
  Matthieu Carlier, Catherine Dubois:
  Functional Testing in the Focal Environment. TAP 2008: 84-98
• 
  Koen Claessen, Hans Svensson:
  Finding Counter Examples in Induction Proofs. TAP 2008: 48-65
• 
  Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
  Bounded Relational Analysis of Free Data Types. TAP 2008: 99-115
• 
  Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer:
  Integrating Verification and Testing of Object-Oriented Software. TAP 2008: 182-191
• 
  Pietro Ferrara:
  Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. TAP 2008: 116-133
• 
  Jonathan de Halleux, Nikolai Tillmann:
  Parameterized Unit Testing with Pex. TAP 2008: 171-181
• 
  Michael A. Hennell:
  The First Thirty Years: Experience with Software Verification. TAP 2008: 1-3
• 
  Nikolai Tillmann, Jonathan de Halleux:
  Pex-White Box Test Generation for .NET. TAP 2008: 134-153
• 
  Helga Velroyen, Philipp Rümmer:
  Non-termination Checking for Imperative Programs. TAP 2008: 154-170
• 
  Elaine J. Weyuker, Thomas J. Ostrand:
  What Can Fault Prediction Do for YOU?. TAP 2008: 18-29
• 
  Bernhard Beckert, Reiner Hähnle:
  Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Lecture Notes in Computer Science 4966, Springer 2008, ISBN 978-3-540-79123-2 [contents]