ICSE 2019 (series) / ICPC 2019 (series) / Technical Research /
CCSpec: A Correctness Condition Specification Tool
Sun 26 May Times are displayed in time zone: Eastern Time (US & Canada) change
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 |