IEEE International Conference on Software Analysis, Evolution and Reengineering

Workshop Programs

Q-SANER Schedule (Times in CET)

March, 18th
13:00-13:20 Introduction to workshop (Workshop chairs)
13:20-14:20 "Design Automation and Software Tools for Quantum Computing" by Robert Wille (details)
14:20-14:30 Break
14:30-14:50 Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan and Jianjun Zhao. A Comprehensive Study of Bug Fixes in Quantum Programs
14:50-15:10 Wolfgang Mauerer and Stefanie Scherzinger. A 1-2-3 Reproducibility for Quantum Software Experiments
15:10-15:30 Thomas Gabor, Marian Lingsch Rosenfeld and Sebastian Feld. How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization
15:30-15:50 Marie Salm, Johanna Barzen, Frank Leymann and Benjamin Weder. Prioritization of Compiled Quantum Circuits for Different Quantum Computers
15:50-16:00 Closing Session

HUMAN Schedule (Times in CET)

March, 18th
15:00-15:15 Welcome and Introduction
15:15-16:15 "Verbal Data in Software Engineering: Challenges and Opportunities" by Westley Weimer and Yu Huang (details)
16:15-16:40 Lynn Kurnatowski, Annika Meinecke and Adriana Rieger. Towards using focus groups to identify software developer's interests regarding their development process
16:45-16:55 Break
16:55-17:25 Breakup session (brainstorming with Slido) Key question: Which SE research topics have a strong connection to humanities?
17:25-17:30 Break
17:30-18:00 Sristy Sumana Nath and Banani Roy. Exploring Relevant Artifacts of Release Notes: The Practitioners' Perspective
18:00-18:30 Lisa Grabinger, Florian Hauser and Jürgen Mottok. Accessing the Presentation of Causal Graphs and an Application of Gestalt Principles with Eye Tracking
18:30-18:55 Bonita Sharif and Niloofar Mansoor. Humans in Empirical Software Engineering Studies: An Experience Report
19:00-19:10 Break
19:10-19:40 Breakup session (brainstorming with Slido) Key question: Which humanities-related methodologies could be utilized by SE researchers?
19:40-19:45 Break
19:45-20:15 Round-table discussion and closing

VST Schedule (Times in CET)

March, 18th
13:00-13:10 Opening (Workshop chairs)
13:10-14:10 "Do tests generated by AI help developers? Open challenges, applications, and opportunities" by Annibale Panichella(details)
14:10-14:20 Break
14:20-14:40 Yoshitomo Sha, Masataka Nagura and Shingo Takada: Fault Localization in Server-Side Applications Using Spectrum-Based Fault Localization
14:40-15:00 Alejandra Duque-Torres, Dietmar Pfahl, Claus Klammer and Stefan Fischer: Using Source Code Metrics for Predicting Metamorphic Relations at Method Level
15:00-15:20 Stefan Fischer, Denise Rigoni and Nikola Obrenović: iTest: Using coverage measurements to improve test efficiency
15:20-15:30 Break
15:30-15:50 Adwait Chandorkar, Nitish Patkar, Andrea Di Sorbo and Oscar Nierstrasz: An Exploratory Study on the Characteristics of Gherkin Specifications in Open-Source Projects
15:50-16:10 Dietmar Winkler, Pirmin Urbanke and Rudolf Ramler: What do we know about readability of test code? - A Systematic Mapping Study
16:10-16:30 Serge Demeyer, Mehrdad Abdi and Ebert Schoofs: Type Profiling to the Rescue: Test Amplification in Python and Smalltalk
16:30-16:40 Break
16:40-17:00 Janneke Morin and Krishnendu Ghosh: ProPy: Prolog-based Fault Localization Tool for Python
17:00-17:20 Matthew Puentes, Yunsen Lei, Noëlle Rakotondravony, Lane Harrison and Craig Shue: Visualizing Web Application Execution Log to Improve Software Security Defect Localization
17:20-17:45 Discussion (all participants) & Closing

IWBOSE Schedule (Times in CET)

March, 18th
14:00-14:10 Welcome to the 5th edition of IWBOSE
14:10-14:30 Blockchain-Oriented Software Variant Forks: A Preliminary Study by Henrique Rocha and John Businge
14:30-14:50 A Tool to check the Ownership of Solana’s Smart Contracts by Giuseppe Antonio Pierro and Andy Amoordon
14:50-15:10 Jihyeon Kim, Dahyeon Jeong, Jisoo Kim and Eun-Sun Cho Stone: A Privacy Policy Enforcement System for Smart Contracts
15:10-15:30 On the use of Petri nets in Smart Contracts modeling, generation, and verification by Andrea Pinna and Roberto Tonelli
15:30-15:40 Coffee Break
15:40-16:00 Analysis Of The Relationship Between Smart Contracts’ Categories and Vulnerabilities by Giacomo Francesco Ibba and Marco Ortu
16:00-16:20 Can Solana be the Solution to the Blockchain Scalability Problem? by Giuseppe Antonio Pierro and Roberto Tonelli
16:20-16:40 Goal and Policy Based Code Generation and Deployment of Smart Contracts by Konstantinos Tsiounis and Kostas Kontogiannis
16:40-17:00 Maria Ilaria Lunesu, Alessandro Floris, Raimondo Cossu and Marco Uras: A Blockchain-based Data Notarization System for Smart Mobility Services
17:00-17:10 Concluding remarks

SQ4AI Schedule (Times in CET)

March, 18th
09:00-09:10 Workshop Introduction
09:10-09:30 Sergio Moreschini, Francesco Lomio, David Hästbacka and Davide Taibi “MLOps for evolvable AI intensive software systems”
09:30-09:50 Xiaozhou Li, Sergio Moreschini, Aleksandra Filatova and Davide Taibi “Knowledge Management Challenges for AI Quality”
09:50-10:00 Conclusion