IC-Cut: A Compositional Search Strategy for Dynamic Test Generation

Abstract

We present IC-Cut, short for “Interface-Complexity-based Cut”, a new compositional search strategy for systematically testing large programs. IC-Cut dynamically detects function interfaces that are simple enough to be cost-effective for summarization. IC-Cut then hierarchically decomposes the program into units defined by such functions and their sub… (More)
DOI: 10.1007/978-3-319-23404-5_19

4 Figures and Tables

Topics

Statistics

01020201520162017
Citations per Year

Citation Velocity: 7

Averaging 7 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.
  • Presentations referencing similar topics