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

• 2009
• 
  Philippe Ayrault, Thérèse Hardin, François Pessaux:
  Development of a Generic Voter under FoCal. TAP@TOOLS 2009: 10-26
• 
  Andrea Calvagna, Angelo Gargantini:
  Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. TAP@TOOLS 2009: 27-42
• 
  Boutheina Chetali:
  Security Testing and Formal Methods for High Levels Certification of Smart Cards. TAP@TOOLS 2009: 1-5
• 
  Yalda Fazlalizadeh, Alireza Khalilian, Mohammad Abdollahi Azgomi, Saeed Parsa:
  Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization. TAP@TOOLS 2009: 43-57
• 
  Gordon Fraser, Franz Wotawa:
  Complementary Criteria for Testing Temporal Logic Properties. TAP@TOOLS 2009: 58-73
• 
  Christoph Gladisch:
  Could We Have Chosen a Better Loop Invariant or Method Contract?. TAP@TOOLS 2009: 74-89
• 
  Martin Gogolla, Mirco Kuhlmann, Lars Hamann:
  Consistency, Independence and Consequences in UML and OCL Models. TAP@TOOLS 2009: 90-104
• 
  Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
  Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS 2009: 105-120
• 
  Paula Herber, Florian Friedemann, Sabine Glesner:
  Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS 2009: 121-136
• 
  Aditya V. Nori, Sriram K. Rajamani:
  Verification, Testing and Statistics. TAP@TOOLS 2009: 6-9
• 
  Nicolas Rapin:
  Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. TAP@TOOLS 2009: 137-152
• 
  Stefan Ratschan, Jan-Georg Smaus:
  Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. TAP@TOOLS 2009: 153-168
• 
  Catherine Dubois:
  Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Lecture Notes in Computer Science 5668, Springer 2009, ISBN 978-3-642-02948-6 [contents]