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

• 2010
• 
  Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory:
  Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36(3): 309-322 (2010)
• 2008
• 
  Engin Uzuncaova, Sarfraz Khurshid:
  Constraint Prioritization for Efficient Analysis of Declarative Models. FM 2008: 310-325
• 
  Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid:
  Deryaft: a tool for generating representation invariants of structurally complex data. ICSE 2008: 859-862
• 
  Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
  Testing Software Product Lines Using Incremental Test Generation. ISSRE 2008: 249-258
• 2007
• 
  Engin Uzuncaova, Sarfraz Khurshid:
  Kato: A Program Slicing Tool for Declarative Specifications. ICSE 2007: 767-770
• 
  Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
  A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE 2007: 525-528
• 2006
• 
  Engin Uzuncaova, Sarfraz Khurshid:
  Program slicing for declarative models. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006)
• 
  Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova:
  An Automated Approach for Writing Alloy Specifications Using Instances. ISoLA 2006: 449-457