Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 03:00 - 03:10 at Kangaroo - Test Generation Chair(s): Xusheng Xiao
Wed 23 Sep 2020 10:20 - 10:25 at Wombat - Tool Demo Showcase (2) Chair(s): Junjie Chen

In object-oriented programming, a method is pure if calling the method does not change object states that exist in the pre-states of the method call. Pure methods are widely-used in automatic techniques, including test generation, complier optimization, and program repair. Due to the source code dependency, it is infeasible to completely and accurately identify all pure methods. Instead, existing techniques such as ReImInfer are designed to identify a subset of accurate results of pure method and mark the other methods as unknown ones. In this paper, we designed and implemented MetPurity , a learning-based tool of pure method identification. Given all methods in a project, MetPurity labels a training set via automatic program analysis and builds a binary classifier (implemented with the random forest classifier) based on the training set. This classifier is used to predict the purity for all the other methods (i.e., unknown ones) in the same project. Preliminary evaluation on four open-source Java projects shows that MetPurity can provide a list of identified pure methods with a low error rate. Applying MetPurity to EvoSuite can increase the number of killed mutants in the test generation of EvoSuite. A demo video of this tool can be found at https://youtu.be/ Ac3cmjn4CCs/; the prototype and evaluation data are available at http://cstar.whu.edu.cn/p/metpurity/.

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

02:20 - 03:20: Test GenerationResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo
Chair(s): Xusheng XiaoCase Western Reserve University
02:20 - 02:40
Talk
Research Papers
Dongge LiuThe Univeristy of Melbourne, Gidon ErnstLMU Munich, Toby MurrayUniversity of Melbourne, Australia, Benjamin I.P. RubinsteinUniversity of Melbourne
02:40 - 03:00
Talk
Industry Showcase
03:00 - 03:10
Talk
Tool Demonstrations
Runze YuWuhan University, Youzhe ZhangWuhan University, Jifeng XuanWuhan University

Wed 23 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

10:20 - 11:20: Tool Demo Showcase (2)Tool Demonstrations at Wombat
Chair(s): Junjie ChenTianjin University
10:20 - 10:25
Talk
Tool Demonstrations
Runze YuWuhan University, Youzhe ZhangWuhan University, Jifeng XuanWuhan University
10:25 - 10:30
Talk
Tool Demonstrations
Zhenfei CaoNanjing University, Xu WangNanjing University, Shengcheng YuNanjing University, China, Yexiao YunNanjing University, Chunrong FangNanjing University, China
10:30 - 10:35
Talk
Tool Demonstrations
hao wang, Guoping RongNanjing University, Yangchen XuNanjing University, Yong YouMeituan-Dianping Group
10:35 - 10:40
Talk
Tool Demonstrations
Omar JavedUniversità della Svizzera italiana, Joshua Heneage DawesUniversity of Manchester and CERN, Marta HanUniversity of Zagreb and CERN, Giovanni FranzoniCERN, Andreas PfeifferCERN, Giles RegerUniversity of Manchester, Walter BinderUniversity of Lugano, Switzerland
10:40 - 10:45
Talk
Tool Demonstrations
Pouria DerakhshanfarDelft University of Technology, Xavier DevroeyDelft University of Technology, Annibale PanichellaDelft University of Technology, Andy ZaidmanDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands
DOI Pre-print Media Attached
10:45 - 10:50
Talk
Tool Demonstrations
Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Jenny RauCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA, Germany
10:50 - 11:20
Live Q&A
Tool Demonstrations