Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Fri 10 Jul 2020 08:29 - 08:37 at Goguryeo - I23-Code Artifact Analysis Chair(s): Benoit Baudry

We conducted two human studies with 68 participants overall: an oracle assessment study and an oracle improvement study. Our results show that developers exhibit poor performance (29% accuracy) when manually assessing whether an assertion oracle contains a false positive, a false negative or none of the two. This shows that automated detection of these oracle deficiencies is beneficial for the users. In our improvement study the developers were able to achieve 21% of full and 43% of partial correctness when improving oracles manually, as opposed to participants who had a support of an automated tool and achieved 33% of full and 67% of partial correctness.

Fri 10 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

08:05 - 09:05: I23-Code Artifact AnalysisPaper Presentations / Journal First / Technical Papers at Goguryeo
Chair(s): Benoit BaudryKTH Royal Institute of Technology
08:05 - 08:17
Talk
Conquering the Extensional Scalability Problem for Value-Flow Analysis FrameworksTechnical
Technical Papers
Qingkai ShiThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Cyber Space Security, Xiamen University, Gang FanHong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
08:17 - 08:29
Talk
Pipelining Bottom-up Data Flow AnalysisTechnical
Technical Papers
Qingkai ShiThe Hong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
08:29 - 08:37
Talk
An Empirical Validation of Oracle ImprovementJ1
Journal First
Gunel JahangirovaUniversità della Svizzera italiana, David ClarkUniversity College London, Mark Harman, Paolo TonellaUniversità della Svizzera italiana
08:37 - 08:45
Talk
Is Static Analysis Able to Identify Unnecessary Source Code?J1
Journal First
Roman HaasCQSE GmbH, Rainer NiedermayrCQSE GmbH, Tobias RoehmCQSE GmbH, Sven ApelSaarland University
Pre-print
08:45 - 08:53
Talk
Memory and Resource Leak Defects and Their Repairs in Java ProjectsJ1
Journal First
Mohammadreza GhanavatiHeidelberg University, Diego CostaConcordia University, Canada, Janos SeboekHeidelberg University, David LoSingapore Management University, Artur AndrzejakHeidelberg University
08:53 - 09:01
Talk
Towards Understanding and Detecting Fake Reviews in App StoresJ1
Journal First
Daniel MartensUniversity of Hamburg, Walid MaalejUniversity of Hamburg