KLEE 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameAmadeo de Souza-Cardoso
Capacity37
Room InformationNo extra information available
Program

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

Sun 14 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Morning Session IGAS at Amadeo de Souza-Cardoso
Chair(s): Joan Arnedo Moreno

Welcome, Morning Keynote, and Research Paper Presentations on Topics in Automation

09:00
5m
Other
Welcome
GAS

09:05
45m
Keynote
Carlos Cetina, Professor with San Jorge University, presents Harnessing video game simulations: an opportunity to generate content and locate bugs
GAS

09:50
20m
Research paper
A Behavior-driven Development and Reinforcement Learning approach for videogame automated testing
GAS
P: Vincent Mastain , A: Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec
10:10
20m
Research paper
Handling Interfaces for the Procedural Generation of Complete Buildings
GAS
P: Damian Kutzias , A: Sebastian von Mammen Games Engineering, Julius-Maximilians-Universität Würzburg
11:00 - 12:30
Morning Session IIGAS at Amadeo de Souza-Cardoso
Chair(s): Dayi Lin Centre for Software Excellence, Huawei Canada

Research Paper Presentations on Topics in Testing and SQA

11:00
20m
Research paper
How to Measure Game Testing: a Survey of Coverage Metrics
GAS
Riccardo Coppola Politecnico di Torino, Tommaso Fulcini Politecnico di Torino, Serenella Manzi , Francesco Strada
11:20
20m
Research paper
From Boring to Boarding: Transforming Refactoring Education with Game-Based Learning
GAS
A: Wajdi Aljedaani University of North Texas, P: Anwar Ghammam , A: Mohamed Wiem Mkaouer University of Michigan - Flint, A: Marouane Kessentini University of Michigan - Flint
11:40
20m
Research paper
Improving Bug Reproduction through Game Engine State Analysis
GAS
P: Carlos Pinto , A: Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec
12:00
15m
Research paper
Super Mario in the Pernicious Kingdoms Classifying glitches in old games
GAS
16:00 - 17:30
Afternoon Session IVGAS at Amadeo de Souza-Cardoso
Chair(s): Kendra Cooper Independent

Panel with Q & A and Closing Remarks

16:00
75m
Panel
Emerging Advanced Technologies for Games and Software Engineering
GAS

17:15
15m
Other
Closing Remarks
GAS

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Developing secure softwareEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): Awais Rashid University of Bristol, UK
09:00
5m
Day opening
Wokshop opening
EnCyCriS/SVM
W: Coralie Esnoul Institute For Energy Technology (IFE)
09:05
45m
Keynote
Keynote: If you build it, they (probably) won’t come
EnCyCriS/SVM
K: Adam Joinson School of Management University of Bath
09:50
20m
Full-paper
WasmCFuzz: Structure-aware Fuzzing for Wasm Compilers
EnCyCriS/SVM
A: Xiangwei Zhang College of Intelligence and Computing, Tianjin University, A: Junjie Wang College of Intelligence and Computing, Tianjin University, A: Xiaoning Du Monash University, Australia, A: Shuang Liu Tianjin University
10:10
20m
Full-paper
Mitigating Security Issues in GitHub Actions
EnCyCriS/SVM
A: Hassan Onsori Delicheh University of Mons, Belgium, A: Tom Mens University of Mons
11:00 - 12:30
Developing secure software and Industrial ChallengesEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): Awais Rashid University of Bristol, UK, John Eidar Simensen IFE
11:00
20m
Full-paper
Trust in Software Supply Chains: Blockchain-Enabled SBOM and the AIBOM Future
EnCyCriS/SVM
A: Boming Xia CSIRO's Data61 & University of New South Wales, A: Dawen (David) Zhang CSIRO's Data61, A: Yue Liu , A: Qinghua Lu Data61, CSIRO, A: Zhenchang Xing CSIRO’s Data61; Australian National University, A: Liming Zhu CSIRO’s Data61
11:20
20m
Full-paper
Interplay of Digital Twins and Cyber Deception: Unraveling Paths for Technological Advancements
EnCyCriS/SVM
A: Jessica Heluany Norwegian University of Science and Technology NTNU, A: Ahmed Amro Norwegian University of Science and Technology NTNU, A: Vasileios Gkioulos NTNU, A: Sokratis Katsikas Norwegian University of Science and Technology (NTNU)
11:40
45m
Keynote
Keynote: Current threats and challenges for securing OT/IoT systems
EnCyCriS/SVM
K: Léonard Keat Advens
14:00 - 15:30
Training, knowledge and Industrial challengesEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): John Eidar Simensen IFE
14:00
20m
Full-paper
Building a Cybersecurity Knowledge Graph with CyberGraph
EnCyCriS/SVM
A: Paolo Falcarin Ca' Foscari University of Venice, A: Fabio Dainese Ca' Foscari University of Venice
14:20
20m
Full-paper
Training Developers to Code Securely: Theory and Practice
EnCyCriS/SVM
A: Ita Ryan University College Cork, A: Utz Roedig University College Cork, A: Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
14:40
20m
Full-paper
On DevSecOps and Risk Management in Critical Infrastructures: Practitioners´Insights on Needs and Goals
EnCyCriS/SVM
A: Xhesika Ramaj Østfold University College (HiØ) / Norwegian University of Science and Technology (NTNU), A: Mary Sánchez-Gordón Østfold University College, A: Vasileios Gkioulos NTNU, A: Ricardo Colomo-Palacios Universidad Politécnica de Madrid
15:00
20m
Full-paper
Cyber-incident Response in Industrial Control Systems: Practices and Challenges in the Petroleum Industry
EnCyCriS/SVM
A: Vahiny Gnanasekaran Norwegian University of Science and Technology NTNU, A: Maria Bartnes Norwegian University of Science and Technology NTNU, A: Tor Olav Grøtan SINTEF Digital, Poul Einar Heegaard Norwegian University of Science and Technology NTNU
16:00 - 17:30
Training, knowledge and Industrial challengesEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): Muhammad Ali Babar School of Computer Science, The University of Adelaide, Coralie Esnoul Institute For Energy Technology (IFE), Awais Rashid University of Bristol, UK, John Eidar Simensen IFE
16:00
20m
Full-paper
Cybersecurity and medical devices: a bull in a china shop
EnCyCriS/SVM
A: Roberto Filippini EBG MedAustron, A: Sara Spiller EBG MedAustron
16:20
60m
Meeting
Panel based discussions and open questions
EnCyCriS/SVM
Coralie Esnoul Institute For Energy Technology (IFE), Awais Rashid University of Bristol, UK, John Eidar Simensen IFE, Muhammad Ali Babar School of Computer Science, The University of Adelaide
17:20
10m
Day closing
Workshop Closure
EnCyCriS/SVM
W: Coralie Esnoul Institute For Energy Technology (IFE)

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session 1: Welcome + Keynote + workshop activityMO2RE at Amadeo de Souza-Cardoso
Chair(s): Sallam Abualhaija University of Luxembourg, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Davide Fucci Blekinge Institute of Technology
09:00
10m
Day opening
Welcome to the 1st edition of MO2RE
MO2RE
Sallam Abualhaija University of Luxembourg, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Davide Fucci Blekinge Institute of Technology, Paola Spoletini Kennesaw State University
09:10
60m
Keynote
(When) Do we need to write (precise) requirements?
MO2RE
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
10:10
20m
Other
Invited reflections about MO2RE topics by Bashar Nuseibeh
MO2RE

11:00 - 12:30
Session 2: Architecture&Evolution + workshop activityMO2RE at Amadeo de Souza-Cardoso
Chair(s): Alessio Ferrari CNR-ISTI
11:00
30m
Research paper
Post-Incident Action Items: Crossroads of Requirements Engineering and Software Evolution
MO2RE
Matt Pope Brigham Young University, Jonathan Sillito Brigham Young University
Pre-print
11:30
30m
Research paper
Probing with Precision: Probing Question Generation for Architectural Information Elicitation
MO2RE
Gokul Rejithkumar TCS Research, Preethu Rose Anish TCS Research, Jyoti Shukla TCS Research, Smita Ghaisas TCS Research
Pre-print
12:00
30m
Other
Why RE is not sufficiently represented in SE
MO2RE

14:00 - 15:30
Session 3: Accessibility, human aspects, and DEI + workshop activityMO2RE at Amadeo de Souza-Cardoso
Chair(s): Davide Fucci Blekinge Institute of Technology
14:00
30m
Research paper
A Conceptual Model For Web Accessibility Requirements In Agile Development
MO2RE
Darliane Miranda Universidade Nova de Lisboa, Faculdade de Ciência e Tecnologia, João Araújo , Grischa Liebel Reykjavik University
14:30
15m
Short-paper
Assuring the emotional and cultural intelligence of intelligent software systems
MO2RE
Alvine Boaye Belle York University
14:45
15m
Short-paper
On the Awareness about Diversity and Inclusion being integrated to Requirements Engineering
MO2RE
Kiev Gama Federal University of Pernambuco (UFPE)
15:00
15m
Short-paper
Emotion-Driven Adaptation of Software Applications using User Requirements Notation Models
MO2RE
Mashail N. Alkhomsan King Fahd University of Petroleum and Minerals, Malak Baslyman King Fahd University of Petroleum & Minerals, Mohammad Alshayeb King Fahd University of Petroleum & Minerals
15:15
15m
Talk
Invited reflections on MO2RE topics by Daniela Damian
MO2RE

16:00 - 17:30
Session 4: Requirements for compliance and code + workshop activity + closingMO2RE at Amadeo de Souza-Cardoso
Chair(s): Alessio Ferrari CNR-ISTI
16:00
30m
Research paper
Modeling, Analyzing and Communicating Regulatory Ambiguity: An Empirical study
MO2RE
Evelyn Kempe University of Maryland, Baltimore County, Aaron Massey University of Maryland Baltimore County, Carolyn Seaman University of Maryland Baltimore County, Sreedevi Sampath University of Maryland Baltimore County, Samin Semsar University of Maryland, Baltimore County
16:30
30m
Research paper
Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
MO2RE
Markus Borg CodeScene
17:00
20m
Other
Invited reflections about MO2RE topics by Rashina Hoda
MO2RE

17:20
10m
Day closing
Wrap up and closing
MO2RE

Thu 18 Apr

Displayed time zone: Lisbon change

10:30 - 11:30
Conversation Café on Equality, Diversity and Inclusion (EDI)ICSE Social Events at Amadeo de Souza-Cardoso
Chair(s): Alvine Boaye Belle York University, Ronnie de Souza Santos University of Calgary
10:30
60m
Social Event
Conversation Café on Equality, Diversity and Inclusion (EDI)
ICSE Social Events
Foutse Khomh École Polytechnique de Montréal, Muneera Bano CSIRO's Data61, Alexander Serebrenik Eindhoven University of Technology, Emerson Murphy-Hill Google, Sonja Hyrynsalmi LUT University
12:30 - 14:00
ICSE'25 OC MeetingICSE Social Events at Amadeo de Souza-Cardoso
Chair(s): Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Timothy Lethbridge University of Ottawa
12:30
90m
Meeting
ICSE'25 OC Meeting
ICSE Social Events

Sat 20 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
IoT Software Evaluation and AutomationSERP4IoT at Amadeo de Souza-Cardoso
Chair(s): Rodrigo Morales Concordia University
09:00
14m
Day opening
Opening
SERP4IoT

09:15
24m
Talk
Evaluation of APIs for Data Exchange with Building Management Systems
SERP4IoT
Peter Yefi Concordia University, Ramanunni Menon Concordia University, Ursula Eicker Concordia University
09:40
24m
Talk
MicroMatic: Fully Automated Microservices Identification Approach From Monolithic Systems
SERP4IoT
Imen Trabelsi , Bianca Popa , Jérémie Péreyrol , Pier-Olivier Beaulieu , Naouel Moha École de Technologie Supérieure (ETS)
10:05
25m
Talk
Evaluating Open Source IoT Platforms: A GitHub Analysis
SERP4IoT
Mahdi Turki , Ghizlane El Boussaidi École de Technologie Supérieure, Imen Benzarti École de technologie supérieure, Hafedh Mili Université du Québec à Montréal
11:00 - 12:30
Keynote + paper presentationSERP4IoT at Amadeo de Souza-Cardoso
Chair(s): Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal
11:00
64m
Keynote
Evolving Edge Computing
SERP4IoT
Hugo Sereno Ferreira Faculty of Engineering, University of Porto, Portugal
12:05
25m
Talk
A Usability Study on the Creation of Intrusion Detection Rules on IoT Networks
SERP4IoT
Davino Mauro Junior , Kiev Gama Federal University of Pernambuco (UFPE)
14:00 - 15:30
Communication, Network and IIoTSERP4IoT at Amadeo de Souza-Cardoso
Chair(s): Rubén Saborido ITIS Software, University of Malaga
14:00
24m
Talk
Communication Semantics for IoT-aware Business Process Management (BPM) Systems
SERP4IoT
Majid Babaei McGill University
14:25
19m
Talk
MobileNetV3 Layer Sensitivity and Sparsity
SERP4IoT
14:45
24m
Talk
On the Industrial Leadership and Involvement in the LwM2M IoT Ecosystem
SERP4IoT
15:10
20m
Talk
Livestock IoT: Precision Livestock Management in Agribusiness
SERP4IoT
Mohamad Kassab The Pennsylvania State University, Wagner Arbex EMBRAPA, Valdemar Graciano Neto Federal University of Goiás, Jonas Gomes UFJF, Regina Braga UFJF, José Maria David Federal University of Juiz de Fora, Roberto Oliveira
16:00 - 17:30
IoT Testing, Safety, and SecuritySERP4IoT at Amadeo de Souza-Cardoso
Chair(s): Shah Rukh Humayoun San Francisco State University
16:00
24m
Talk
Practical Guidance for IoT Systems Testing: A Taxonomy
SERP4IoT
Jean Baptiste Minani Concordia University, Montreal, Canada, Fatima Sabir Punjab University College of Information Technology , University of the Punjab, Yahia El Fellah École de technologie supérieure (ÉTS), Naouel Moha École de Technologie Supérieure (ETS)
16:25
24m
Talk
Towards an Automated Approach for Testing IoT Devices
SERP4IoT
Jean Baptiste Minani Concordia University, Montreal, Canada, Fatima Sabir Punjab University College of Information Technology , University of the Punjab, Yahia El Fellah École de technologie supérieure (ÉTS), Naouel Moha École de Technologie Supérieure (ETS)
16:50
24m
Talk
Towards an MDRE Approach to Verify Security and safety of Heterogeneous IoT Apps
SERP4IoT
Lobna AbuSerrieh , Manar Alalfi Toronto Metropolitan University
17:15
5m
Day closing
Closing
SERP4IoT

Thu 18 Apr

Displayed time zone: Lisbon change