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

• 1998
• 
  Thomas Ball:
  On the Limit of Control Flow Analysis for Regression Test Selection. ISSTA 1998: 134-142
• 
  Tevfik Bultan, Richard Gerber, Christopher League:
  Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA 1998: 113-123
• 
  William Chan, Richard J. Anderson, Paul Beame, David Notkin:
  Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112
• 
  James C. Corbett:
  Constructing Compact Models of Concurrent Java Programs. ISSTA 1998: 1-10
• 
  Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan:
  Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. ISSTA 1998: 124-133
• 
  Arnaud Gotlieb, Bernard Botella, Michel Rueher:
  Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA 1998: 53-62
• 
  Ákos Hajnal, István Forgács:
  An Applicable Test Data Generation Algorithm for Domain Errors. ISSTA 1998: 63-72
• 
  Richard G. Hamlet:
  What Can We Learn by Testing a Program? ISSTA 1998: 50-52
• 
  Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson:
  The Most Influential Papers from the ISSTA Research Community (Panel). ISSTA 1998: 49
• 
  Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha:
  Computation of Interprocedural Control Dependence. ISSTA 1998: 11-20
• 
  Bogdan Korel, Ali M. Al-Yami:
  Automated Regression Test Generation. ISSTA 1998: 143-152
• 
  Brian Mitchell, Steven J. Zeil:
  An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing. ISSTA 1998: 32-41
• 
  Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna:
  Automatic Interoperability Test Generation for Source-to-Source Translators. ISSTA 1998: 93-101
• 
  Simeon C. Ntafos:
  On Random and Partition Testing. ISSTA 1998: 42-48
• 
  Thomas J. Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia:
  A Visual Test Development Environment for GUI Systems. ISSTA 1998: 82-92
• 
  Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang:
  Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ISSTA 1998: 21-31
• 
  Nigel J. Tracey, John A. Clark, Keith Mander:
  Automated Program Flaw Finding Using Simulated Annealing. ISSTA 1998: 73-81
• 
  Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock:
  All-du-path Coverage for Parallel Programs. ISSTA 1998: 153-162
• 
  Mary Lou Soffa, Michal Young, Will Tracz:
  Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998. ACM 1998, ISBN 0-89791-971-8 [contents]