SANER 2024 (series) / Tools Demo Track /
Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs
Thu 14 Mar 2024 14:45 - 14:54 at KUU - Tool Demo Showcase Chair(s): Xiaozhou Li
Fri 15 Mar 2024 12:06 - 12:13 at KURU - Code Quality and Refactoring Chair(s): Davide Taibi
Fri 15 Mar 2024 12:06 - 12:13 at KURU - Code Quality and Refactoring Chair(s): Davide Taibi
Refactoring large legacy codebases, even with industrial-strength tools, often leads to trust concerns with code owners, in particular when the codebase underwent significant changes. To provide more assurance to code owners, we integrate visual analytics into the refactoring process. This method involves transforming code into control flow graphs before and after refactoring, followed by trace equivalence analysis on these graphs. An innovative visualisation tool provides not only a comprehensive overview of the refactorings’ impact across all files, but also offers detailed insights into the trace equivalence at individual file level. By presenting clear visual evidence of code equivalence before and after refactoring, our visualisation narrows the trust gap, offering refactoring experts and code owners a transparent and understandable view of the changes. We apply this visualisation on an industrial use case and discuss its effectiveness with refactoring experts.
Thu 14 MarDisplayed time zone: Athens change
Thu 14 Mar
Displayed time zone: Athens change
14:00 - 15:30 | |||
14:00 9mTalk | Immersive Software Archaeology: Exploring Software Architecture and Design in Virtual Reality Tools Demo Track Adrian Hoff IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Michele Lanza Software Institute - USI, Lugano Media Attached | ||
14:09 9mTalk | MicroOps: Rapid Microservice Data Simulation and AIOps Model Development Platform Tools Demo Track Yuewei Li Beijing University of Posts and Telecommunications, Zhigang Wang Beijing University of Posts and Telecommunications, Qi Qi , Yuhan Jing Beijing University of Posts and Telecommunications, Jinming Wu Beijing University of Posts and Telecommunications, Zhikang Wu Beijing University of Post and Telecomunications, Yan Lu Beijing University of Posts and Telecommunications., Chengsen Wang Beijing University of Posts and Telecommunications, Xingyu Wang Beijing University of Posts and Telecommunications, Jingyu Wang | ||
14:18 9mTalk | gFaaS: Enabling Generic Functions in Serverless Computing Tools Demo Track Mohak Chadha Chair of Computer Architecture and Parallel Systems, Technical University of Munich, Paul Wieland Technical University of Munich, Michael Gerndt TUM | ||
14:27 9mTalk | PMDET: Automated Detection Tool of Android Parcel Mismatch Tools Demo Track Yunfan Zhan Shanghai Jiao Tong University, Qidan He Jingdong Group, Yijun Wang Shanghai Jiao Tong University, Xiuzhen Chen Shanghai Jiao Tong University | ||
14:36 9mTalk | LogLead - Fast and Integrated Log Loader, Enhancer, and Anomaly Detector Tools Demo Track Mika Mäntylä University of Helsinki and University of Oulu, Yuqing Wang University of Oulu, Jesse Nyyssölä University of Helsinki Pre-print Media Attached | ||
14:45 9mTalk | Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs Tools Demo Track Céline Deknop UCLouvain, Johan Fabry Raincode Labs, Belgium, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Vadim Zaytsev University of Twente, Netherlands Link to publication Media Attached | ||
14:54 9mTalk | SMEAGOL: A Static Code Smell Detector for MongoDB Tools Demo Track Boris Cherry University of Namur, Csaba Nagy Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano, Anthony Cleve University of Namur | ||
15:03 9mTalk | Osmy: A Tool for Periodic Software Vulnerability Assessment and File Integrity Verification using SPDX Documents Tools Demo Track Rio Kishimoto Osaka University, Tetsuya Kanda Osaka University, Yuki Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Yoshiki Higo Osaka University | ||
15:12 9mTalk | CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts Tools Demo Track Libin Xia Peking University, Jiashuo Zhang Peking University, China, Che Wang , Zezhong Tan Peking University, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen | ||
15:21 9mTalk | Generative Artificial Intelligence for Test-Driven Development: GAI4-TDD Tools Demo Track Pietro Cassieri University of Salerno, Simone Romano University of Salerno, Giuseppe Scanniello University of Salerno | ||
Fri 15 MarDisplayed time zone: Athens change
Fri 15 Mar
Displayed time zone: Athens change
11:00 - 12:30 | Code Quality and RefactoringTools Demo Track / Early Research Achievement (ERA) Track / Research Papers / Reproducibility Studies and Negative Results (RENE) Track / Industrial Track at KURU Chair(s): Davide Taibi University of Oulu and Tampere University | ||
11:00 7mTalk | Autorepairability: A New Software Quality Characteristic Early Research Achievement (ERA) Track Pongpop Lapvikai Mahidol University, Yoshiki Higo Osaka University, Chaiyong Ragkhitwetsagul Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand Pre-print | ||
11:07 15mTalk | A Multivocal Mapping Study of MongoDB Smells Research Papers Boris Cherry University of Namur, Jehan Bernard University of Namur, Thomas Kintziger UNamur, Csaba Nagy Software Institute - USI, Lugano, Anthony Cleve University of Namur, Michele Lanza Software Institute - USI, Lugano | ||
11:22 15mTalk | Self-Admitted Technical Debts Identification: How Far Are We? Research Papers Hao Gu Central South University, zhang.shichao Central South University, Qiao Huang Zhejiang Gongshang University, Zhifang Liao Central South University, Jiakun Liu Singapore Management University, David Lo Singapore Management University | ||
11:37 7mTalk | SMEAGOL: A Static Code Smell Detector for MongoDB Tools Demo Track Boris Cherry University of Namur, Csaba Nagy Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano, Anthony Cleve University of Namur | ||
11:44 15mTalk | Sentiment of Technical Debt Security Questions on Stack Overflow: A Replication Study Reproducibility Studies and Negative Results (RENE) Track Jarl Jansen Eindhoven University of Technology, Nathan Cassee Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology | ||
11:59 7mTalk | Towards Generating Maintainable and Comprehensible API Code Examples Early Research Achievement (ERA) Track Seham Alharbi University of York, Dimitris Kolovos University of York, Nicholas Matragkas Université Paris-Saclay, CEA, List. | ||
12:06 7mTalk | Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs Tools Demo Track Céline Deknop UCLouvain, Johan Fabry Raincode Labs, Belgium, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Vadim Zaytsev University of Twente, Netherlands Link to publication Media Attached | ||
12:13 15mTalk | From Refactoring to Migration: a Quality-Driven Strategy for Microservices Adoption Industrial Track Roberta Capuano University of L'Aquila, Italy, Henry Muccini University of L'Aquila, Italy, Fabio Vaccaro BIM Italia | ||