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
Displayed time zone: Eastern Time (US & Canada) change

	11:00 - 12:30	Session VII: Empirical Study IICPC 2019 Technical Research at Laurier Chair(s): Mike Papadakis University of Luxembourg

	11:00 20m 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 Dias Canedo , Welder Luz , Gustavo Pinto UFPA
	11:20 20m Full-paper		CCSpec: A Correctness Condition Specification Tool ICPC 2019 Technical Research Christina Peterson , Pierre LaBorde , Damian Dechev
	11:40 20m Full-paper		Comparing the EvoStreets Visualization Technique in Two- and Three-Dimensional Environments A Controlled Experiment ICPC 2019 Technical Research Marcel Steinbeck , Rainer Koschke University of Bremen, Marc O. Rüdel
	12:00 10m Short-paper		Learning a Classifier for Prediction of Maintainability based on Static Analysis Tools ICPC 2019 Technical Research Markus Schnappinger Technical University of Munich, Mohd Hafeez Osman Institute of Informatics, Technical University of Munich, Alexander Pretschner , Arnaud Fietzke
	12:10 20m Full-paper		Sequence Coverage Directed Greybox Fuzzing ICPC 2019 Technical Research Hongliang Liang beijing university of posts and telecommunication, Yini Zhang beijing university of posts and telecommunication, Yue Yu , Zhuosi Xie , Lin Jiang beijing university of posts and telecommunication