ICSE 2019 (series) / ICPC 2019 (series) / Technical Research /
CCSpec: A Correctness Condition Specification Tool
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 | ||||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:10 Short-paper | Markus SchnappingerTechnical University of Munich, Mohd Hafeez OsmanInstitute of Informatics, Technical University of Munich, Alexander Pretschner, Arnaud Fietzke | |||||||||||||||||||||||||||||||||||||||||
| 12:10 - 12:30 Full-paper | 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 | |||||||||||||||||||||||||||||||||||||||||