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

• 2024
• 
  Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio:
  BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program. 238: 103153 (2024)
• 2023
• 
  Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio:
  Efficient Bounded Exhaustive Input Generation from Program APIs. FASE 2023: 111-132
• 2019
• 
  Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias:
  Automatically Identifying Sufficient Object Builders from Module APIs. FASE 2019: 427-444
• 
  Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias:
  Efficient Test Generation Guided by Field Coverage Criteria. ASE 2019: 91-101
• 2018
• 
  Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias:
  On the effect of object redundancy elimination in randomly testing collection classes. SBST@ICSE 2018: 67-70
• 2014
• 
  Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
  RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24(8): 629-655 (2014)
• 
  Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid:
  Bounded exhaustive test input generation from hybrid invariants. OOPSLA 2014: 655-674
• 2013
• 
  Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani:
  Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST 2013: 21-30
• 2012
• 
  Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
  Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS 2012: 19-34
• 2011
• 
  Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti:
  Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP@TOOLS 2011: 15-32