Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Wed 25 Aug 2021 08:10 - 08:20 - Testing—Approximations in Testing and Analysis Chair(s): Mike Papadakis
Wed 25 Aug 2021 20:10 - 20:20 - Testing—Approximations in Testing and Analysis Chair(s): Shane McIntosh

The two broad approaches to discover properties of programs—static and dynamic analyses—have complementary strengths: static techniques perform exhaustive exploration and prove upper bounds on program behaviors, while the dynamic analysis of test cases provides concrete evidence of these behaviors and promise low false alarm rates. In this paper, we present DynaBoost, a system which uses information obtained from test executions to prioritize the alarms of a static analyzer. We instrument the program to dynamically look for dataflow behaviors predicted by the static analyzer, and use these results to bootstrap a probabilistic alarm ranking system, where the user repeatedly inspects the alarm judged most likely to be a real bug, and where the system re-ranks the remaining alarms in response to user feedback. The combined system is able to exploit information that cannot be easily provided by users, and provides significant improvements in the human alarm inspection burden: by 35% compared to the baseline ranking system, and by 89% compared to an unaided programmer triaging alarm reports.

Wed 25 Aug

Displayed time zone: Athens change

08:00 - 09:00
Testing—Approximations in Testing and AnalysisResearch Papers +12h
Chair(s): Mike Papadakis University of Luxembourg
08:00
10m
Paper
Skeletal Approximation Enumeration for SMT Solver Testing
Research Papers
Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology
DOI
08:10
10m
Paper
Boosting Static Analysis Accuracy with Instrumented Test ExecutionsArtifacts FunctionalArtifacts Available
Research Papers
Tianyi Chen University of Southern California, Kihong Heo KAIST, Mukund Raghothaman University of Southern California
DOI
08:20
10m
Paper
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program AnalysisArtifacts AvailableArtifacts Reusable
Research Papers
Yicheng Luo University College London, Antonio Filieri Imperial College London, Yuan Zhou University of Oxford
DOI
08:30
30m
Live Q&A
Q&A (Testing—Approximations in Testing and Analysis)
Research Papers

20:00 - 21:00
Testing—Approximations in Testing and AnalysisResearch Papers
Chair(s): Shane McIntosh McGill University
20:00
10m
Paper
Skeletal Approximation Enumeration for SMT Solver Testing
Research Papers
Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology
DOI
20:10
10m
Paper
Boosting Static Analysis Accuracy with Instrumented Test ExecutionsArtifacts FunctionalArtifacts Available
Research Papers
Tianyi Chen University of Southern California, Kihong Heo KAIST, Mukund Raghothaman University of Southern California
DOI
20:20
10m
Paper
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program AnalysisArtifacts AvailableArtifacts Reusable
Research Papers
Yicheng Luo University College London, Antonio Filieri Imperial College London, Yuan Zhou University of Oxford
DOI
20:30
30m
Live Q&A
Q&A (Testing—Approximations in Testing and Analysis)
Research Papers