ICPC 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
Sun 27 May 2018 11:44 - 12:01 at R2 - Static and Dynamic Analysis Chair(s): Aiko Yamashita

Understanding the dynamic behavior of a software system is one of the most important and time-consuming tasks for today’s software maintainers. In practice, understanding the inner workings of software requires studying the source code and documentation and inserting logging code in order to map high-level descriptions of the program behavior with low-level implementation, i.e., the source code. Unfortunately, for large codebases and large log les, such cognitive mapping can be quite challenging. To bridge the cognitive gap between the source code and detailed models of program behavior, we propose a fully automatic approach to present a semantic abstraction with different levels of functional granularity from full execution traces. Our approach builds multi-level abstractions and identifies frequent behaviors at each level based on a number of execution traces, and then, it labels phases within individual execution traces according to the identified major functional behaviors of the system. To validate our approach, we conducted a case study on a large-scale subject program, Javac, to demonstrate the effectiveness of the mining result. Furthermore, the results of a user study demonstrate that our approach is capable of presenting users a high-level comprehensible abstraction of execution behavior. Based on a real world subject program the participants in our user study were able to achieve a mean accuracy of 70%.

Sun 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Static and Dynamic AnalysisTechnical Research at R2
Chair(s): Aiko Yamashita Oslo Metropolitan University
11:00
17m
Full-paper
JIT Feedback - what experienced developers like about static analysisTechnical Research
Technical Research
Yuriy Tymchuk Swisscom AG, Mohammad Ghafari University of Bern, Oscar Nierstrasz University of Bern, Switzerland
Link to publication DOI Pre-print
11:17
17m
Full-paper
How do Design Decisions Influence the Distribution of Software Metrics?Technical Research
Technical Research
Marcos Dosea Federal University of Sergipe and Federal Univeresity of Bahia, Claudio Sant'Anna Federal University of Bahia, Bruno da Silva California Polytechnic State University
DOI Pre-print
11:34
10m
Short-paper
SDExplorer: a generic toolkit for smoothly exploring massive-scale sequence diagramTool Demo
Technical Research
Kaixie Lyu , Kunihiro Noda Tokyo Institute of Technology, Takashi Kobayashi Tokyo Institute of Technology
Pre-print
11:44
17m
Full-paper
Hierarchical Abstraction of Execution Traces for Program ComprehensionTechnical Research
Technical Research
Yang Feng University of California, Irvine, Kaj Dreef University of California, Irvine, James Jones University of California, Irvine, Arie van Deursen Delft University of Technology
DOI Pre-print
12:01
17m
Full-paper
Component Interface Identification and Behavioral Model Discovery from Software Execution DataTechnical Research
Technical Research
Cong Liu Eindhoven University of Technology, Boudewijn Van Dongen Eindhoven University of Technology, Nour Assy Eindhoven University of Technology, Wil van der Aalst RWTH Aachen University, Germany
12:18
10m
Industry talk
CodeCompass: An Open Software Comprehension FrameworkIndustry Track
Technical Research
Zoltan Porkolab Eotvos Lorond University, Dániel Krupp Ericsson Ltd, Tibor Brunner Ericsson Hungary, Marton Csordas Ericsson Hungary
Link to publication DOI Pre-print