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

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

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

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Diego Marcilio, Rodrigo Bonifacio, Eduardo Monteiro, Edna Canedo, Welder Luz, Gustavo PintoUFPA
	11:20 - 11:40 Full-paper		CCSpec: A Correctness Condition Specification Tool ICPC 2019 Technical Research 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 ICPC 2019 Technical Research 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 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