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

• 2006
• 
  Robert M. Bell, Thomas J. Ostrand, Elaine J. Weyuker:
  Looking for bugs in all the right places. ISSTA 2006: 61-72
• 
  Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia:
  From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. ISSTA 2006: 169-180
• 
  Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia:
  Role-Based access control consistency validation. ISSTA 2006: 121-132
• 
  Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke:
  Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. ISSTA 2006: 97-108
• 
  Christoph Csallner, Yannis Smaragdakis:
  DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA 2006: 245-254
• 
  Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard:
  Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244
• 
  Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson:
  Modular verification of code with SAT. ISSTA 2006: 109-120
• 
  Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
  Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
• 
  Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst:
  Dynamic inference of abstract types. ISSTA 2006: 255-265
• 
  Dick Hamlet:
  Subdomain testing of units and systems with state. ISSTA 2006: 85-96
• 
  Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen:
  Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. ISSTA 2006: 181-190
• 
  Raimondas Lencevicius, Edu Metz:
  Performance assertions for mobile devices. ISSTA 2006: 225-232
• 
  Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella:
  The species per path approach to SearchBased test data generation. ISSTA 2006: 13-24
• 
  Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel:
  Experimental program analysis: a new program analysis paradigm. ISSTA 2006: 49-60
• 
  Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek:
  Automated testing of stochastic systems: a statistically grounded approach. ISSTA 2006: 215-224
• 
  Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
  Using model checking with symbolic execution to verify parallel numerical programs. ISSTA 2006: 157-168
• 
  Oksana Tkachuk, Sreeranga P. Rajan:
  Application of automated environment generation to commercial software. ISSTA 2006: 203-214
• 
  Willem Visser, Corina S. Pasareanu, Radek Pelánek:
  Test input generation for java containers using state matching. ISSTA 2006: 37-48
• 
  Stefan Wagner:
  A model and sensitivity analysis of the quality economics of defect-detection techniques. ISSTA 2006: 73-84
• 
  Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos:
  TimeAware test suite prioritization. ISSTA 2006: 1-12
• 
  Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
  Coverage metrics for requirements-based testing. ISSTA 2006: 25-36
• 
  Greta Yorsh, Thomas Ball, Mooly Sagiv:
  Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156
• 
  Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng:
  The case for analysis preserving language transformation. ISSTA 2006: 191-202
• 
  Lori L. Pollock, Mauro Pezzè:
  Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. ACM 2006, ISBN 1-59593-263-1 [contents]