Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Wed 25 Aug 2021 16:10 - 16:20 - Testing—Bug Characterization and Fixing Chair(s): Myra Cohen
Thu 26 Aug 2021 04:10 - 04:20 - Testing—Bug Characterization and Fixing Chair(s): Abhik Roychoudhury, Akond Rahman

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.

Wed 25 Aug

Displayed time zone: Athens change

16:00 - 17:00
Testing—Bug Characterization and FixingResearch Papers / Demonstrations / Ideas, Visions and Reflections +12h
Chair(s): Myra Cohen Iowa State University
16:00
10m
Paper
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig LanguageArtifacts FunctionalArtifacts Available
Research Papers
Jeho Oh University of Texas at Austin, Necip Fazıl Yıldıran University of Central Florida, Julian Braha University of Central Florida, Paul Gazzillo University of Central Florida
DOI Pre-print
16:10
10m
Paper
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper AwardArtifacts FunctionalArtifacts Available
Research Papers
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
DOI Pre-print Media Attached
16:20
5m
Paper
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik Horlings Open University of the Netherlands, Sung-Shik Jongmans Open University of the Netherlands; CWI
DOI Media Attached
16:25
5m
Paper
Reducing the Search Space of Bug Inducing Commits using Failure CoverageArtifacts Available
Ideas, Visions and Reflections
Gabin An KAIST, Shin Yoo KAIST
DOI Pre-print
16:30
30m
Live Q&A
Q&A (Testing—Bug Characterization and Fixing)
Research Papers

Thu 26 Aug

Displayed time zone: Athens change

04:00 - 05:00
Testing—Bug Characterization and FixingResearch Papers / Ideas, Visions and Reflections / Demonstrations
Chair(s): Abhik Roychoudhury National University of Singapore, Akond Rahman Tennessee Tech University
04:00
10m
Paper
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig LanguageArtifacts FunctionalArtifacts Available
Research Papers
Jeho Oh University of Texas at Austin, Necip Fazıl Yıldıran University of Central Florida, Julian Braha University of Central Florida, Paul Gazzillo University of Central Florida
DOI Pre-print
04:10
10m
Paper
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic BugsDistinguished Paper AwardArtifacts FunctionalArtifacts Available
Research Papers
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
DOI Pre-print Media Attached
04:20
5m
Paper
Analysis of Specifications of Multiparty Sessions with dcj-lint
Demonstrations
Erik Horlings Open University of the Netherlands, Sung-Shik Jongmans Open University of the Netherlands; CWI
DOI Media Attached
04:25
5m
Paper
Reducing the Search Space of Bug Inducing Commits using Failure CoverageArtifacts Available
Ideas, Visions and Reflections
Gabin An KAIST, Shin Yoo KAIST
DOI Pre-print
04:30
30m
Live Q&A
Q&A (Testing—Bug Characterization and Fixing)
Research Papers