Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Thu 14 Nov 2019 14:40 - 15:00 at Hillcrest - Models and Logs Chair(s): Timo Kehrer

Many works infer finite-state models from execution logs. Large models are more accurate but also more difficult to present and understand. Small models are easier to present and understand but are less accurate. In this work we investigate the tradeoff between model size and accuracy in the context of the classic k-Tails model inference algorithm. First, we define mk-Tails, a generalization of k-Tails from one to many parameters, which enables fine-grained control over the tradeoff. Second, we extend mk-Tails with a reduction based on past-equivalence, which effectively reduces the size of the model without decreasing its accuracy. We implemented our work and evaluated its performance and effectiveness on models and generated logs from the literature.

Thu 14 Nov

Displayed time zone: Tijuana, Baja California change

13:40 - 15:20
Models and LogsResearch Papers / Demonstrations at Hillcrest
Chair(s): Timo Kehrer Humboldt-Universtit├Ąt zu Berlin
13:40
20m
Talk
Statistical Log Differencing
Research Papers
Lingfeng Bao Institute of Information Engineering, Chinese Academy of Sciences, Nimrod Busany Tel Aviv University, David Lo Singapore Management University, Shahar Maoz Tel Aviv University
Pre-print
14:00
20m
Talk
Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression
Research Papers
Jinyang Liu Sun Yat-Sen University, Jieming Zhu Huawei Noah's Ark Lab, Shilin He Chinese University of Hong Kong, Pinjia He ETH Zurich, Zibin Zheng Sun Yat-Sen University, Michael Lyu The Chinese University of Hong Kong
14:20
20m
Talk
Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling
Research Papers
Artur Boronat University of Leicester
14:40
20m
Talk
Size and Accuracy in Model Inference
Research Papers
Nimrod Busany Tel Aviv University, Shahar Maoz Tel Aviv University, Yehonatan Yulazari Tel Aviv University
Pre-print
15:00
10m
Demonstration
PMExec: An Execution Engine of Partial UML-RT Models
Demonstrations
Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Nafiseh Kahani Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
Pre-print
15:10
10m
Demonstration
mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines
Demonstrations
Reza Ahmadi Queen's University, Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario