Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece

This program is tentative and subject to change.

Wed 25 Aug 2021 16:15 - 16:30 - Testing—Bug Characterization and Fixing
Thu 26 Aug 2021 04:15 - 04:30 - Testing—Bug Characterization and Fixing

When working on techniques to address the wide-spread problem of software bugs, one often faces the need for a large number of realistic bugs in real-world programs. Such bugs can either help evaluate an approach, e.g., in form of a bug benchmark or a suite of program mutations, or even help build the technique, e.g., in learning-based bug detection. Because gathering a large number of real bugs is difficult, a common approach is to rely on automatically seeded bugs. Prior work seeds bugs based on syntactic transformation patterns, which often results in unrealistic bugs and typically cannot introduce new, application-specific code tokens. This paper presents SemSeed, a technique for automatically seeding bugs in a semantics-aware way. The key idea is to imitate how a given real-world bug would look like in other programs by semantically adapting the bug pattern to the local context. To reason about the semantics of pieces of code, our approach builds on learned token embeddings that encode the semantic similarities of identifiers and literals. Our evaluation with real-world JavaScript software shows that the approach effectively reproduces real bugs and clearly outperforms a semantics-unaware approach. The seeded bugs are useful as training data for learning-based bug detection, where they significantly improve the bug detection ability. Moreover, we show that SemSeed-created bugs complement existing mutation testing operators, and that our approach is efficient enough to seed hundreds of thousands of bugs within an hour.

This program is tentative and subject to change.

Conference Day
Wed 25 Aug

Displayed time zone: Athens change

16:00 - 17:00
Testing—Bug Characterization and FixingDemonstrations / Research Papers / Ideas, Visions and Reflections +12h
16:00
15m
Talk
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik HorlingsOpen University of the Netherlands, Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & Informatica (CWI)
16:15
15m
Talk
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper Award
Research Papers
Jibesh PatraUniversity of Stuttgart, Germany, Michael PradelUniversity of Stuttgart
Pre-print Media Attached
16:30
15m
Talk
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language
Research Papers
Jeho OhUniversity of Texas at Austin, Necip Fazıl YıldıranUniversity of Central Florida, Julian BrahaUniversity of Central Florida, Paul GazzilloUniversity of Central Florida
DOI Pre-print
16:45
15m
Talk
Reducing the Search Space of Bug Inducing Commits Using Failure Coverage
Ideas, Visions and Reflections
Gabin AnKAIST, Shin YooKorea Advanced Institute of Science and Technology

Conference Day
Thu 26 Aug

Displayed time zone: Athens change

04:00 - 05:00
Testing—Bug Characterization and FixingDemonstrations / Research Papers / Ideas, Visions and Reflections
04:00
15m
Talk
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik HorlingsOpen University of the Netherlands, Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & Informatica (CWI)
04:15
15m
Talk
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper Award
Research Papers
Jibesh PatraUniversity of Stuttgart, Germany, Michael PradelUniversity of Stuttgart
Pre-print Media Attached
04:30
15m
Talk
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language
Research Papers
Jeho OhUniversity of Texas at Austin, Necip Fazıl YıldıranUniversity of Central Florida, Julian BrahaUniversity of Central Florida, Paul GazzilloUniversity of Central Florida
DOI Pre-print
04:45
15m
Talk
Reducing the Search Space of Bug Inducing Commits Using Failure Coverage
Ideas, Visions and Reflections
Gabin AnKAIST, Shin YooKorea Advanced Institute of Science and Technology