Scaling Client-Specific Equivalence Checking via Impact Boundary Search
Client-specific equivalence checking (CSEC) is a technique proposed previously to perform impact analysis of changes to down-stream components (libraries) from the perspective of an unchanged system (client). Existing analysis techniques, whether general (regression verification, equivalence checking) or special-purpose, when applied to CSEC, either require users to provide specifications, or do not scale. We propose a novel solution to the CSEC problem, called CC2, that is based on searching the control-flow of a program for impact boundaries. We evaluate a prototype implementation of CC2 on a comprehensive set of benchmarks and conclude that our prototype performs well compared to the state-of-the-art. We also show that CC2 can be applied to real software projects in a case-study.
Wed 23 Sep Times are displayed in time zone: (UTC) Coordinated Universal Time
16:00 - 17:00: Testing (2)Research Papers at Kangaroo Chair(s): Alex GroceNorthern Arizona University | |||
16:00 - 16:20 Talk | TestMC: Testing Model Counters using Differential and Metamorphic TestingExperience Research Papers Muhammad UsmanUniversity of Texas at Austin, USA, Wenxi WangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin, USA | ||
16:20 - 16:40 Talk | BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction Research Papers Qian ZhangUniversity of California, Los Angeles, Jiyuan WangUniversity of California, Los Angeles, Muhammad Ali GulzarUniversity of California at Los Angeles, USA, Rohan PadhyeCarnegie Mellon University, Miryung KimUniversity of California at Los Angeles, USA | ||
16:40 - 17:00 Talk | Scaling Client-Specific Equivalence Checking via Impact Boundary Search Research Papers Nick FengUniversity of Toronto, Vincent HuiUniversity of Toronto, Federico MoraUniversity of California, Berkeley, Marsha ChechikUniversity of Toronto |