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

• 2008
• 
  Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
  An observation-based model for fault localization. WODA 2008: 64-70
• 
  Martin Burger, Andreas Zeller:
  Replaying and isolating failing multi-object interactions. WODA 2008: 71-77
• 
  Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller:
  Efficient runtime invariant checking: a framework and case study. WODA 2008: 43-49
• 
  Alex Groce, Rajeev Joshi:
  Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
• 
  Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell:
  Extending dynamic constraint detection with disjunctive constraints. WODA 2008: 57-63
• 
  Kyungwoo Lee, Zino Benaissa, Juan Rodriguez:
  A dynamic tool for finding redundant computations in native code. WODA 2008: 15-21
• 
  David Lo, Siau-Cheng Khoo, Chao Liu:
  Mining past-time temporal rules from execution traces. WODA 2008: 50-56
• 
  Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière:
  Testing mobile computing applications: toward a scenario language and tools. WODA 2008: 29-35
• 
  Alessandro Orso, Tao Xie:
  BERT: BEhavioral Regression Testing. WODA 2008: 36-42
• 
  Steven P. Reiss:
  Dynamic detection of event handlers. WODA 2008: 1-7
• 
  Yui Watanabe, Takashi Ishio, Katsuro Inoue:
  Feature-level phase detection for execution trace using object cache. WODA 2008: 8-14
• 
  Ben Liblit, Atanas Rountev:
  Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008. ACM 2008, ISBN 978-1-60558-054-8 [contents]