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

Multiparty session types constitute a method to automatically detect violations of protocol implementations relative to specifications. But, when a violation is detected, does it symptomise a bug in the implementation or in the specification? This paper presents dcj-lint: an analysis tool to detect bugs in protocol specifications, based on multiparty session types. By leveraging a custom-built temporal logic model checker, dcj-lint can be used to efficiently perform: (1) generic sanity checks, and (2) protocol-specific property analyses. In our benchmarks, dcj-lint outperforms an existing state-of-the-art model checker (up to 61x faster).

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
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
04:30
30m
Live Q&A
Q&A (Testing—Bug Characterization and Fixing)
Research Papers