ICPC 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Sun 26 May 2019 11:20 - 11:40 at Laurier - Session VII: Empirical Study I Chair(s): Mike Papadakis

Sun 26 May
Times are displayed in time zone: Eastern Time (US & Canada) change

11:00 - 12:30: Session VII: Empirical Study IICPC 2019 Presentations / ICPC 2019 Technical Research 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
ICPC 2019 Technical Research
11:20 - 11:40
Full-paper
CCSpec: A Correctness Condition Specification Tool
ICPC 2019 Technical Research
11:40 - 12:00
Full-paper
Comparing the EvoStreets Visualization Technique in Two- and Three-Dimensional Environments A Controlled Experiment
ICPC 2019 Technical Research
12:00 - 12:10
Short-paper
Learning a Classifier for Prediction of Maintainability based on Static Analysis Tools
ICPC 2019 Technical Research
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
ICPC 2019 Technical Research
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