Workshops and Tutorials Track SANER 2024
Accepted Workshops and Tutorials
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.
Tue 12 MarDisplayed time zone: Athens change
09:00 - 09:10 | |||
09:00 2mTalk | Welcome to the 7th edition of IWBOSE Workshops and Tutorials Track | ||
09:00 - 09:55 | |||
09:00 5mDay opening | Welcome Message and Opening Remarks Workshops and Tutorials Track Nicolás E. Díaz Ferreyra Hamburg University of Technology | ||
09:05 50mKeynote | Assessing the Scalability of Microservice Architectures Workshops and Tutorials Track Andrea Janes Free University of Bozen-Bolzano | ||
09:10 - 09:30 | |||
09:10 - 10:30 | |||
09:10 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | Gas Fees and Unconfirmed Transactions in Ethereum: A Proof-of-Stake (PoS) Focus Workshops and Tutorials Track | ||
09:15 - 09:30 | |||
09:30 - 10:30 | |||
09:30 60mKeynote | 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 60mKeynote | 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 | |||
09:55 20mTalk | 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 15mTalk | 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) | ||
11:00 - 12:30 | |||
11:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | SolOSphere: A Framework for Testing and Optimizing Solidity Contract Workshops and Tutorials Track | ||
11:00 - 12:15 | |||
11:00 20mTalk | Managing Security Vulnerabilities Introduced by Third-Party Dependencies in JavaScript Applications Workshops and Tutorials Track | ||
11:20 20mTalk | 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 20mTalk | Finding Privacy-Relevant Source Code Workshops and Tutorials Track | ||
12:00 15mTalk | Closing Remarks, End of MSR4P&S Workshops and Tutorials Track Nicolás E. Díaz Ferreyra Hamburg University of Technology | ||
13:30 - 14:10 | F-TRANSFER - New Ideas papers, Research papers, and Experience reports presentationsWorkshops and Tutorials Track at AURINKO | ||
13:30 20mTalk | 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 20mTalk | Experience Report on Teaching Parallel and Distributed Programming through Storytelling Workshops and Tutorials Track Bogdan Iudean Babes-Bolyai University | ||
13:30 - 14:40 | |||
13:30 20mTalk | 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 20mTalk | 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 10mTalk | 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 10mTalk | 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 10mTalk | Logging - The Missing Component For GCC Plugin Testing Workshops and Tutorials Track | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | 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 60mTalk | Quantum computing: why and when? Workshops and Tutorials Track Himadri Majumdar SemiQon | ||
15:00 15mTalk | 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 15mTalk | 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 | |||
16:00 - 16:30 | |||
16:00 15mTalk | 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 15mTalk | 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 | |||
Accepted tutorial
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.
VST 2024
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
