CCSpec: A Correctness Condition Specification Tool (ICPC 2019 Technical Research) - ICPC 2019

Sat 25 - Sun 26 May 2019 Montreal, QC, Canada

co-located with ICSE 2019

Who

Christina Peterson, Pierre LaBorde, Damian Dechev

Track

ICPC 2019 ICPC Technical Research

When

Sun 26 May 2019 11:20 - 11:40 at Laurier - Session VII: Empirical Study I Chair(s): Mike Papadakis

Christina Peterson

Pierre LaBorde

Damian Dechev

Session Program

Sun 26 May

11:00 - 12:30: ICPC 2019 Presentations - Session VII: Empirical Study I at Laurier
Chair(s): Mike PapadakisUniversity of Luxembourg

11:00 - 11:20
Full-paper

Are Static Analysis Violations Really Fixed? A Closer Look at Realistic Usage of SonarQube

Diego Marcilio, Rodrigo Bonifacio, Eduardo Monteiro, Edna Canedo, Welder Luz, Gustavo PintoUFPA

11:20 - 11:40
Full-paper

CCSpec: A Correctness Condition Specification Tool

Christina Peterson, Pierre LaBorde, Damian Dechev

11:40 - 12:00
Full-paper

Comparing the EvoStreets Visualization Technique in Two- and Three-Dimensional Environments A Controlled Experiment

Marcel Steinbeck, Rainer KoschkeUniversity of Bremen, Marc O. Rüdel

12:00 - 12:10
Short-paper

Learning a Classifier for Prediction of Maintainability based on Static Analysis Tools

Markus SchnappingerTechnical University of Munich, Mohd Hafeez OsmanInstitute of Informatics, Technical University of Munich, Alexander Pretschner, Arnaud Fietzke

12:10 - 12:30
Full-paper

Sequence Coverage Directed Greybox Fuzzing

Hongliang Liangbeijing university of posts and telecommunication, Yini Zhangbeijing university of posts and telecommunication, Yue Yu, Zhuosi Xie, Lin Jiangbeijing university of posts and telecommunication