• 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

• 2010
• 
  Ki Yung Ahn, Ewen Denney:
  Testing First-Order Logic Axioms in Program Verification. TAP@TOOLS 2010: 22-37
• 
  Jasmin Christian Blanchette:
  Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions. TAP@TOOLS 2010: 117-134
• 
  Lydie du Bousquet, Michel Lévy:
  Proof Process Evaluation with Mutation Analysis. TAP@TOOLS 2010: 55-60
• 
  Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet:
  Building a Test-Ready Abstraction of a Behavioral Model Using CLP. TAP@TOOLS 2010: 167-182
• 
  Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand:
  Combining Static Analysis and Test Generation for C Program Debugging. TAP@TOOLS 2010: 94-100
• 
  Koen Claessen, Nicholas Smallbone, John Hughes:
  QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS 2010: 6-21
• 
  Michael D. Ernst:
  How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. TAP@TOOLS 2010: 1-2
• 
  Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai:
  Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS 2010: 61-76
• 
  Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
  Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. TAP@TOOLS 2010: 38-54
• 
  Eugene Goldberg, Panagiotis Manolios:
  Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding. TAP@TOOLS 2010: 101-116
• 
  Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson:
  Syntactic Abstraction of B Models to Generate Tests. TAP@TOOLS 2010: 151-166
• 
  Nachiappan Nagappan:
  Myths in Software Engineering: From the Other Side. TAP@TOOLS 2010: 3-5
• 
  Vlad Rusu:
  Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications. TAP@TOOLS 2010: 135-150
• 
  Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth:
  DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP@TOOLS 2010: 77-93
• 
  Gordon Fraser, Angelo Gargantini:
  Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6143, Springer 2010, ISBN 978-3-642-13976-5 [contents]