SANER 2024
Tue 12 - Fri 15 March 2024 Rovaniemi , Finland

Accepted Workshops and Tutorials

Title
A Comparison of the Effectiveness of ChatGPT and Co-Pilot for Generating Quality Python Code Solutions
Workshops and Tutorials Track
A Digital Twin Approach for Blockchain Smart Contracts
Workshops and Tutorials Track
Advancements, Challenges, and Emerging Trends in Computer Science Education: A Systematic Literature Review of Academic and Professional Learning
Workshops and Tutorials Track
Advancing Software Development with Generative AI: Hands-On with LLM Agents
Workshops and Tutorials Track
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing
Workshops and Tutorials Track
Assessing Security Risks of Software Supply Chains Using Software Bill of Materials
Workshops and Tutorials Track
Automating Static Code Analysis Through CI/CD Pipeline Integration
Workshops and Tutorials Track
Blockchain-based Verifiable Credentials for virtual teams management in the Metaverse.
Workshops and Tutorials Track
Bridging Two Worlds: Framework for Secure Implementation of Blockchain Oracles
Workshops and Tutorials Track
Collaborative problem solving and learning in a Change Laboratory: case examples from teacher education and entrepreneurship
Workshops and Tutorials Track
DAI: A Dependencies Analyzer and Installer For Solidity Smart Contracts
Workshops and Tutorials Track
Developing Interns into Full-Fledged Software Engineers
Workshops and Tutorials Track
Experience Report on Teaching Distributed Testing bench for Cloud-based Applications
Workshops and Tutorials Track
Experience Report on Teaching Parallel and Distributed Programming through Storytelling
Workshops and Tutorials Track
Finding a Needle in a Haystack: Threat Analysis in Open-Source Projects
Workshops and Tutorials Track
Finding Privacy-Relevant Source Code
Workshops and Tutorials Track
From Creation to Exploitation: The Oracle Lifecycle
Workshops and Tutorials Track
From Quantum Software Handcrafting to Quantum Software Engineering
Workshops and Tutorials Track
Gas Fees and Unconfirmed Transactions in Ethereum: A Proof-of-Stake (PoS) Focus
Workshops and Tutorials Track
Introducing a Linter in an Industrial Lua Code Base
Workshops and Tutorials Track
Leveraging Rough Sets for Enhanced Test Case Prioritization in a Continuous Integration Context
Workshops and Tutorials Track
Liquifying Quantum-Classical Software-Intensive System of Systems
Workshops and Tutorials Track
Logging - The Missing Component For GCC Plugin Testing
Workshops and Tutorials Track
Managing Security Vulnerabilities Introduced by Third-Party Dependencies in JavaScript Applications
Workshops and Tutorials Track
MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations
Workshops and Tutorials Track
MUT4SLX: Extensions for Mutation Testing of Stateflow Models
Workshops and Tutorials Track
Quantum computing: why and when?
Workshops and Tutorials Track
Quirk+: A Tool for Quantum Software Development Based on Quirk
Workshops and Tutorials Track
SCVD-SA: A Smart Contract Vulnerability Detection Method based on Hybrid Deep Learning Model and Self-Attention Mechanism
Workshops and Tutorials Track
Simulating an agri-food DApp system
Workshops and Tutorials Track
SolOSphere: A Framework for Testing and Optimizing Solidity Contract
Workshops and Tutorials Track
Statement Types and Error Rates: How Are They Related for Boosting Fault Localization?
Workshops and Tutorials Track
Test Case Generation for Python Libraries using Dependent Projects' Test-Suites
Workshops and Tutorials Track
The Quantum Circuit Model is not a Practical Representation of Quantum Software
Workshops and Tutorials Track
Topics Analysis and Trends on Blockchain applications in the Energy Sector
Workshops and Tutorials Track

Workshop Proposal

We solicit proposals for workshops to be held in conjunction with the main conference. Workshops can be full or half day and should highlight a specific topic of interest related to software analysis, evolution, and reengineering. We encourage workshop organizers to include activities that provide their participants with a true workshop experience.

Should you be interested in joining SANER, please keep the following deadlines in mind:

Submission instructions

  • July 10, 2023 - the call for papers should be submitted to the workshops chairs (gema.rodriguezperez@ubc.ca and a.serebrenik@tue.nl ). The call should include description of the workshop topic and scope, indication whether the workshop will take ½ day or a full day, and a link to the workshop website. The website should be live and include (at least) the following information: topic of the workshop, its scope, list of topics of interests, names of the organizing committee members and their affiliations, types of submissions and the deadlines (see below).

Evaluation Criteria The proposals will be evaluated by the workshops chairs based on the novelty of the workshop topic, its importance to the field, as well as the composition of the organising team.

Notification is to be expected on July 24.

-Not later than mid-September 2023. The workshop PC has been finalized and the paper submission system is live. Workshop organisers are free to select EasyChair, HorCRP or any other commonly used paper submission system but unfortunately we will not be able to cover any expenses related to the paper submission system.

Deadlines

  • July 10, 2023 - Workshop call for papers submission

  • July 24, 2023 - Notification

The following deadlines are suggestions based on the timeline of the main track. The only strict deadline is the camera-ready (see below).

  • December 8, 2023 - abstract submission.

  • December 13, 2023 - paper submission.

  • January 8, 2024 - notification

  • January 12, 2024 (strict) - camera-ready deadline.

All dates are AoE.

The workshop proceedings will be included as a separate section of the proceedings of the main conference.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 12 Mar

Displayed time zone: Athens change

08:30 - 09:00
SANER 2024: Welcome ReceptionCatering at LAPPI
08:30
30m
Coffee break
Break
Catering

09:00 - 09:10
IWBOSE - Welcome to the 7th edition of IWBOSEWorkshops and Tutorials Track at KUU
09:00
2m
Talk
Welcome to the 7th edition of IWBOSE
Workshops and Tutorials Track

09:00 - 09:55
MSR4P&S - Welcome and Keynote TalkWorkshops and Tutorials Track at RIEKKO
09:00
5m
Day opening
Welcome Message and Opening Remarks
Workshops and Tutorials Track
Nicolás E. Díaz Ferreyra Hamburg University of Technology
09:05
50m
Keynote
Assessing the Scalability of Microservice Architectures
Workshops and Tutorials Track
Andrea Janes Free University of Bozen-Bolzano
09:10 - 09:30
VST2024 - Welcome & Opening MessageWorkshops and Tutorials Track at KURU
09:10 - 10:30
09:10
20m
Talk
DAI: A Dependencies Analyzer and Installer For Solidity Smart Contracts
Workshops and Tutorials Track
Giacomo Ibba University of Cagliari - Department of Mathematics and Computer Science, Giuseppe Destefanis Brunel University London, Rumyana Neykova Brunel University London, Marco Ortu University of Cagliari, Silvia Bartolucci University College London, Sabrina Aufiero University College London
09:30
20m
Talk
Bridging Two Worlds: Framework for Secure Implementation of Blockchain Oracles
Workshops and Tutorials Track
Mubashar Iqbal University of Tartu, Alessandro Chiarelli University of Tartu, Raimundas Matulevičius University of Tartu, Estonia
09:50
20m
Talk
Simulating an agri-food DApp system
Workshops and Tutorials Track
Lodovica Marchesi Università degli studi di Cagliari, Maria Ilaria Lunesu Università degli studi di Cagliari, Michele Marchesi University of Cagliari
10:10
20m
Talk
Gas Fees and Unconfirmed Transactions in Ethereum: A Proof-of-Stake (PoS) Focus
Workshops and Tutorials Track
Giuseppe Pierro University of Cagliari, Andy Amoordon Université Paris 1 Panthéon-Sorbonne
09:15 - 09:30
F-TRANSFER - Welcome messageWorkshops and Tutorials Track at AURINKO
09:30 - 10:30
F-TRANSFER KeynoteWorkshops and Tutorials Track at AURINKO

Keynote: 45 minutes + 15minutes Q&A

09:30
60m
Keynote
Collaborative problem solving and learning in a Change Laboratory: case examples from teacher education and entrepreneurship
Workshops and Tutorials Track
Anu Kajamaa University of Oulu
09:30 - 10:30
09:30
60m
Keynote
Software Testing and Software Log Analysis: When Will They Meet?
Workshops and Tutorials Track
Mika Mäntylä University of Helsinki and University of Oulu
09:55 - 10:30
MSR4P&S - Threats and Risk AssessmentWorkshops and Tutorials Track at RIEKKO
09:55
20m
Talk
Assessing Security Risks of Software Supply Chains Using Software Bill of Materials
Workshops and Tutorials Track
Eric O'Donoghue Montana State University, Ann Marie Reinhold Montana State University, Clemente Izurieta Montana State University
10:15
15m
Talk
Finding a Needle in a Haystack: Threat Analysis in Open-Source Projects
Workshops and Tutorials Track
Bernd Gruner German Aerospace Center (DLR), Institute of Data Science, Sebastian Thomas Heckner German Aerospace Center, Tim Sonnekalb German Aerospace Center (DLR), Badr-Eddine Bouhlal German Aerospace Center, Clemens-Alexander Brust German Aerospace Center (DLR)
10:30 - 11:00
Coffee breakCatering
10:30
30m
Coffee break
Break
Catering

11:00 - 12:00
F-TRANSFER - New Ideas papers, Research papers, and Experience reports presentations Workshops and Tutorials Track at AURINKO
11:00
20m
Talk
Advancements, Challenges, and Emerging Trends in Computer Science Education: A Systematic Literature Review of Academic and Professional Learning
Workshops and Tutorials Track
Adriana M. Coroiu Babes-Bolyai University, Alina-Delia Calin Babes-Bolyai University, Radu Găceanu Babes-Bolyai University, Cluj-Napoca, Romania, Andreea Vescan Babes-Bolyai University
11:20
20m
Talk
Developing Interns into Full-Fledged Software Engineers
Workshops and Tutorials Track
11:40
20m
Talk
A Comparison of the Effectiveness of ChatGPT and Co-Pilot for Generating Quality Python Code Solutions
Workshops and Tutorials Track
Nikolaos Nikolaidis University of Macedonia, Karolos Flamos University of Macedonia, Khanak Gulati University of Groningen, Daniel Feitosa University of Groningen, Apostolos Ampatzoglou University of Macedonia, Alexander Chatzigeorgiou University of Macedonia
11:00 - 12:30
11:00
20m
Talk
Test Case Generation for Python Libraries using Dependent Projects' Test-Suites
Workshops and Tutorials Track
Keita Morisaki Nara Institute of Science and Technology, Kazumasa Shimari Nara Institute of Science and Technology, Takashi Ishio Future University Hakodate, Kenichi Matsumoto Nara Institute of Science and Technology
11:20
20m
Talk
Statement Types and Error Rates: How Are They Related for Boosting Fault Localization?
Workshops and Tutorials Track
Guangjie Li National Innovation Institute of Defense Technology, Yi Tang National Innovation Institute of Defense Technology, Biyi Yi National Innovation Institute of Defense Technology, Yan He National Innovation Institute of Defense Technology, Junchao Li National Innovation Institute of Defense Technology, Fei Ren National Innovation Institute of Defense Technology, Zhongwu Lin National Innovation Institute of Defense Technology, Leping Li Beijing Institute of Technology
11:40
20m
Talk
Introducing a Linter in an Industrial Lua Code Base
Workshops and Tutorials Track
Andrea Walchshofer Software Competence Center Hagenberg GmbH, Stefan Fischer Software Competence Center Hagenberg, Albrecht Wöß Signum Plus GmbH, Alejandra Duque-Torres University of Tartu, Markus Löberbauer Signum Plus GmbH, Georg Koll Trumpf Maschinen Austria GmbH & Co. KG
12:00
20m
Talk
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing
Workshops and Tutorials Track
Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Arend Rensink University of Twente, The Netherlands, Jan Tretmans Radboud University Nijmegen, TNO-ESI
11:00 - 12:40
11:00
20m
Talk
From Creation to Exploitation: The Oracle Lifecycle
Workshops and Tutorials Track
Mojtaba Eshghie , Mikael Jafari KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden
11:20
20m
Talk
Topics Analysis and Trends on Blockchain applications in the Energy Sector
Workshops and Tutorials Track
Matteo Vaccargiu University of Cagliari, Giacomo Ibba University of Cagliari - Department of Mathematics and Computer Science, Andrea Pinna University of Cagliari
11:40
20m
Talk
Blockchain-based Verifiable Credentials for virtual teams management in the Metaverse.
Workshops and Tutorials Track
Maria Ilaria Lunesu University of Cagliari, Andrea Pinna University of Cagliari, Riccardo Lai University of Cagliari, Xiaofeng Wang Free University of Bozen-Bolzano
12:00
20m
Talk
A Digital Twin Approach for Blockchain Smart Contracts
Workshops and Tutorials Track
Flavio Corradini University of Camerino, Alessandro Marcelletti University of Camerino, Andrea Morichetta , Barbara Re University of Camerino, Luca Ruschioni University of Camerino
12:20
20m
Talk
SolOSphere: A Framework for Testing and Optimizing Solidity Contract
Workshops and Tutorials Track
Sourena Khanzadeh Toronto Metropolitan University, Manar Alalfi Toronto Metropolitan University
11:00 - 12:15
MSR4P&S - Privacy and Security AnalysisWorkshops and Tutorials Track at RIEKKO
11:00
20m
Talk
Managing Security Vulnerabilities Introduced by Third-Party Dependencies in JavaScript Applications
Workshops and Tutorials Track
Anastasia Terzi University of Macedonia, Matina Bibi University of Macedonia
11:20
20m
Talk
Automating Static Code Analysis Through CI/CD Pipeline Integration
Workshops and Tutorials Track
Zachary Wadhams Montana State University, Ann Marie Reinhold Montana State University, Clemente Izurieta Montana State University
11:40
20m
Talk
Finding Privacy-Relevant Source Code
Workshops and Tutorials Track
Feiyang Tang Norwegian Computing Center, Bjarte M. Østvold Norwegian Computing Center
12:00
15m
Talk
Closing Remarks, End of MSR4P&S
Workshops and Tutorials Track
Nicolás E. Díaz Ferreyra Hamburg University of Technology
12:30 - 13:30
Lunch breakCatering
12:30
60m
Lunch
Lunch
Catering

13:30 - 14:10
F-TRANSFER - New Ideas papers, Research papers, and Experience reports presentationsWorkshops and Tutorials Track at AURINKO
13:30
20m
Talk
Experience Report on Teaching Distributed Testing bench for Cloud-based Applications
Workshops and Tutorials Track
Eliza Maria Olariu Electrical Engineering, Technical University of Cluj Napoca, Horia Hedesiu Electrical Engineering, Technical University of Cluj
13:50
20m
Talk
Experience Report on Teaching Parallel and Distributed Programming through Storytelling
Workshops and Tutorials Track
Bogdan Iudean Babes-Bolyai University
13:30 - 14:40
VST2024 - Session IIWorkshops and Tutorials Track at KURU
13:30
20m
Talk
Leveraging Rough Sets for Enhanced Test Case Prioritization in a Continuous Integration Context
Workshops and Tutorials Track
Radu Găceanu Babes-Bolyai University, Cluj-Napoca, Romania, Arnold Szederjesi Babes-Bolyai University, Cluj-Napoca, Romania, Andreea Vescan Babes-Bolyai University
13:50
20m
Talk
SCVD-SA: A Smart Contract Vulnerability Detection Method based on Hybrid Deep Learning Model and Self-Attention Mechanism
Workshops and Tutorials Track
Dongjie Wang Jiangsu University, Jinfu Chen Jiangsu University, Saihua Cai Jiangsu University, Qiaowei Feng Jiangsu University, Yuhao Chen Jiangsu University, Xinyi Hu Jiangsu University
14:10
10m
Talk
MUT4SLX: Extensions for Mutation Testing of Stateflow Models
Workshops and Tutorials Track
Sien Nuyens Universiteit Antwerpen, Halil Ibrahim Ceylan Universiteit Antwerpen, Onur Kilincceker University of Antwerp and Flanders Make vzw, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp; Flanders Make
14:20
10m
Talk
MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations
Workshops and Tutorials Track
Alejandra Duque-Torres University of Tartu, Dietmar Pfahl University of Tartu, Claus Klammer Software Competence Center Hagenberg, Stefan Fischer Software Competence Center Hagenberg
14:30
10m
Talk
Logging - The Missing Component For GCC Plugin Testing
Workshops and Tutorials Track
Nimantha Kariyakarawana imec-DistriNet KU Leuven, Tom Holvoet imec-DistriNet KU Leuven
14:00 - 17:30
14:00
3h30m
Talk
Advancing Software Development with Generative AI: Hands-On with LLM Agents
Workshops and Tutorials Track
Pekka Abrahamsson University of Tampere, Zeeshan Rasheed Tampere University, Malik Sami Tampere University
14:00 - 15:30
14:00
60m
Talk
Quantum computing: why and when?
Workshops and Tutorials Track
15:00
15m
Talk
The Quantum Circuit Model is not a Practical Representation of Quantum Software
Workshops and Tutorials Track
Arianne Meijer-van de Griend University of Helsinki
15:15
15m
Talk
From Quantum Software Handcrafting to Quantum Software Engineering
Workshops and Tutorials Track
Giuseppe Bisicchia Università di Pisa, Jose García-Alonso Universidad de Extremadura, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation, Antonio Brogi Università di Pisa
14:10 - 15:10
F-TRANSFER - Essential skills in Computer Science. Collaborative solutions – academia and industryWorkshops and Tutorials Track at AURINKO
14:40 - 15:10
VST2024 - Open Session - Work in Progress, Tool Demos, New IdeasWorkshops and Tutorials Track at KURU
15:10 - 15:30
15:10 - 15:30
VST2024 - Discussion & ClosingWorkshops and Tutorials Track at KURU
15:30 - 16:00
Coffee BreakCatering
15:30
30m
Coffee break
Break
Catering

16:00 - 16:30
16:00
15m
Talk
Quirk+: A Tool for Quantum Software Development Based on Quirk
Workshops and Tutorials Track
Javier Zayas Gallardo University of Malaga, Enrique Moguel University of Extremadura, Carlos Canal University of Malaga, Jose García-Alonso Universidad de Extremadura
16:15
15m
Talk
Liquifying Quantum-Classical Software-Intensive System of Systems
Workshops and Tutorials Track
Álvaro Manuel Aparicio Morales University of Extremadura, Majid Haghparast University of Jyväskylä, Jose García-Alonso Universidad de Extremadura, Javier Berrocal University of Extremadura, Vlad Stirbu University of Jyväskylä, Tommi Mikkonen Tampere University of Technology, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation
16:30 - 16:45
18:00 - 22:00
SANER 2024: Welcome ReceptionCatering

The welcome reception will be in the conference hotel.

The tutorial is scheduled for 12/03/2024 (see the program)

Tutorial Title: Advancing Software Development with Generative AI: Hands-On with LLM Agents

Tutorial presenters

Professor Pekka Abrahamsson, Tampere University

Zeeshan Rasheed, Tampere University

Malik Sami, Tampere University

Tutorial Description

At SANER 2024, we focus on the significant potential of AI-agent-based methodologies in software engineering through a focused exploration of LLM Agents and novel models from the GPT lab at Tampere University. This tutorial, led by GPT-lab experts from Tampere University and in the application of large language models (LLMs) in the software engineering domain offers an exciting learning journey into the automation of complex software development processes using AI agents.

Learning Objectives: Participants will

-Understand the theoretical underpinnings of employing LLMs and GPTs in automating software development. Gain hands-on experience with the latest agent LLM agent models, and their application in generating, reviewing, verifying, and testing code.

-Learn to apply AI-agent-based strategies to real-world software projects, enhancing efficiency, accuracy, and security.

Interactive Sessions and Case Studies: Engage in live coding sessions where you will use LLM Agent models to generate running code from natural language prompts, address even complex software project challenges, and evaluate the outcome against industry benchmarks. Interactive workshops will facilitate deep dives into specific case studies, showcasing the successful application of LLM. Agents in software development projects, highlighting its efficiency, cost-effectiveness, and ability to mitigate security vulnerabilities.

Outcomes and Takeaways: Attendees will leave the tutorial equipped with:

-New skills in deploying AI agents for software development tasks.

-Exclusive access to LLM Agent models, including insights into its operational framework and application protocols.

An understanding of the latest research and practical applications of LLMs in software engineering, ready to be applied in their projects for improved efficiency and innovation.

7th Workshop on Validation, Analysis and Evolution of Software Tests (VST 2024)

Home page: https://vstworkshop.github.io/vst2024/

Software projects accumulate large suites of test cases, encoding critical requirements and valuable expert knowledge about the system under test. However, over time, the reliability of the tests decreases, and they become difficult to understand and maintain. Extra effort is required for repairing broken tests and for adapting test suites and models to evolving software systems.

The goal of the VST workshop in combination with SANER - the premier event on the theory and practice of recovering information from existing software and systems - is to leverage methods, techniques and tools from software analysis, evolution and re-engineering to advance the state of the art in test development and maintenance.

The workshop is a unique event bringing together academics, industrial researchers, and practitioners for exchanging experiences, solutions, and new ideas related, but not limited, to:

  • Test code analysis and validation
  • Test execution monitoring and visualization
  • Test results analysis and bug reporting
  • Fault detection and localization
  • Change impact analysis for software tests
  • Co-evolution of tests and code
  • Automated repair for test code
  • Clone detection for tests
  • Metamorphic relations for testing
  • Test generation and amplification
  • Regression test selection and prioritization
  • Test minimization and simplification
  • Model-based testing
  • Combinations of the topics above

Submission information:

We encourage submission of papers on the topics mentioned above: Full papers, position papers and tool demonstration papers. Papers must conform to the IEEE proceedings format guidelines and need to be prepared for a full double-blind review process. For submission instructions see: https://vstworkshop.github.io/vst2024/

Submission site: https://easychair.org/conferences/?conf=vst2024

Important dates:

  • Abstract submission deadline: December 08, 2023 AoE
  • Paper submission deadline: December 13, 2023 AoE
  • Notification of acceptance: January 08, 2024
  • Camera-ready version due: January 12, 2024

Program chairs:

  • Christian Macho, University of Klagenfurt, Austria
  • Martin Pinzger, University of Klagenfurt, Austria
  • Rudolf Ramler, Software Competence Center Hagenberg, Austria