FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
ICSE 2025 (series) / FormaliSE 2025 (series) / Rogers Centre, Ottawa (formerly Shaw Centre) /

Room information: 106

VenueRogers Centre, Ottawa (formerly Shaw Centre)
Room name106
Floor1
Room number106
Capacity72
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Opening and KeynoteCSEE&T at 106
Chair(s): Stephan Krusche Technical University of Munich
09:00
90m
Keynote
The Engaged Learner: From Experience to Learning and Impact
CSEE&T
P: Daniela Damian University of Victoria
11:00 - 12:30
AI in SE EducationCSEE&T at 106
11:00
20m
Talk
Insights from the Frontline: GenAI Utilization Among Software Engineering Students
CSEE&T
Rudrajit Choudhuri Oregon State University, Ambareesh Ramakrishnan Oregon State University, Amreeta Chatterjee Oregon State University, Bianca Trinkenreich Colorado State University, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, Anita Sarma Oregon State University
Pre-print
11:20
20m
Talk
Towards Implementing and Evaluating AI-Assisted Pull Requests in Software Engineering Education
CSEE&T
Esteban Parra Belmont University, Sophia Willingham Belmont University
11:40
20m
Talk
Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
CSEE&T
Alfredo Capozucca University of Luxembourg, Daniil Yampolskyi Department of Computer Science, University of Luxembourg, Esch-sur-Alzette, Luxembourg, Alexander Goldberg Department of Computer Science, University of Luxembourg, Esch-sur-Alzette, Luxembourg, Maximiliano Cristiá CIFASIS, Universidad Nacional de Rosario, Rosario, Argentina
Pre-print
14:00 - 15:30
Instructional Methods and Curriculum DesignCSEE&T at 106
14:00
20m
Talk
Software Engineering Education for Technical Engineering Degrees and Its Specific Needs
CSEE&T
Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt
14:20
20m
Talk
Software Engineering Courses through the Lens of an Education Intelligence Tool
CSEE&T
Manuel Stöger TU Wien, Johann Grabner TU Wien, Mario Bernhart TU Wien, Thomas Grechenig TU Wien
14:40
20m
Talk
Software Engineering Educational Experience in Building an Intelligent Tutoring System
CSEE&T
Zhiyu Fan National University of Singapore, Yannic Noller Ruhr University Bochum, Ashish Dandekar National University of Singapore, Abhik Roychoudhury National University of Singapore
15:00
20m
Talk
Learner Preferences in Software Engineering Education: A Comparative Study of Similarities and Differences Between University Students and Industry Professionals
CSEE&T
Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt, Jennifer Brings Bingen Technical University of Applied Sciences, Viktoria Stenkova University of Duisburg-Essen, Viktoria Stenkova University of Duisburg-Essen
16:00 - 17:30
Student PerceptionsCSEE&T at 106
16:00
20m
Talk
Student Perceptions of Group Formation in Software Engineering Courses
CSEE&T
Fabian Fagerholm Aalto University, Stanislav Chren Aalto University, Lassi Haaranen Aalto University
16:20
20m
Talk
Understanding Students’ Experience and Perception of Gender Bias in a Software Engineering Education Environment
CSEE&T
Tanjila Kanij , Jonny PJ Low Monash University, John Grundy Monash University
Pre-print
16:40
20m
Talk
Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses
CSEE&T
Luciano Baresi Politecnico di Milano, Andrea De Lucia University of Salerno, Antinisca Di Marco University of L'Aquila, Massimiliano Di Penta University of Sannio, Italy, Davide Di Ruscio University of L'Aquila, Leonardo Mariani University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Fabio Palomba University of Salerno, Maria Teresa Rossi University of Milano Bicocca, Italy, Fiorella Zampetti University of Sannio, Italy

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Day 2 PlenaryCSEE&T at 106
09:00
90m
Keynote
Keynote 2
CSEE&T

11:00 - 12:30
Automated Feedback and Code QualityCSEE&T at 106
11:00
20m
Talk
Mitigating Obfuscation Attacks on Software Plagiarism Detectors via Subsequence Merging
CSEE&T
Timur Sağlam Karlsruhe Institute of Technology (KIT), Nils Niehues Karlsruhe Institute of Technology (KIT), Sebastian Hahner Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology
Pre-print
11:20
20m
Talk
SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses
CSEE&T
Sofia Bobadilla KTH Royal Institute of Technology, Sweden, Richard Glassey KTH: Royal Institute of Technology, Alexandre Bergel University of Chile, Martin Monperrus KTH Royal Institute of Technology
11:40
20m
Talk
Automated Feedback Generation for Programming Assignments through Diversification
CSEE&T
Dongwook Choi SungKyunKwan University, Eunseok Lee Sungkyunkwan University
12:00
20m
Talk
Exploring how students test models in Model-Driven Engineering
CSEE&T
Felix Cammaerts KU Leuven, Beatriz Marín Universitat Politècnica de València, Monique Snoeck Katholieke Universiteit Leuven
14:00 - 15:30
Security and PrivacyCSEE&T at 106
14:00
20m
Talk
A journey through Cyberium: creating user stories for a dystopic world to teach Requirements Engineering
CSEE&T
JOAO RICARDO SERIQUE BERNARDO UFAM - Federal University of Amazonas, João Vitor Frota Universidade Federal do Amazonas (UFAM), Thais de Souza Universidade Federal do Amazonas (UFAM), Marcela Savia Universidade Estadual do Amazonas (UEA), Bruno Gadelha UFAM, Tayana Conte Universidade Federal do Amazonas
14:20
20m
Talk
Phishing Awareness via Game-Based Learning
CSEE&T
Argianto Rahartomo TU Clausthal, Ahmed Tareq Ali Ghaleb Technische Universität Clausthal, Mohammad Ghafari TU Clausthal
14:40
20m
Talk
Authentic Learning Exercise for Kubernetes Misconfigurations: An Experience Report of Student Perceptions
CSEE&T
Shazibul Islam Shamim Kennesaw State University, Fan Wu Tuskegee University, Hossain Shahriar University of West Florida, Anthony Skjellum Tennessee Tech University, Akond Rahman Auburn University, USA
16:00 - 17:30
Gamification and Engagement in LearningCSEE&T at 106
16:00
20m
Talk
OSSDoorway: A Gamified Environment to Scaffold Student Contributions to Open Source Software
CSEE&T
Italo Santos Northern Arizona University, Katia Felizardo Federal Technological University of Paraná, Anita Sarma Oregon State University, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University
Pre-print
16:20
20m
Talk
Robotics Software Engineering Education: An Experience Report
CSEE&T
Meenakshi Manjunath Technical University of Applied Sciences Würzburg-Schweinfurt, Jeshwitha Jesus Raja Technical University of Applied Sciences Würzburg-Schweinfurt, Rainer Herrler Technical University of Applied Sciences Würzburg-Schweinfurt, Marian Daun Technical University of Applied Sciences Würzburg-Schweinfurt
16:40
20m
Talk
Teaching Loop Testing to Young Learners with the Code Critters Mutation Testing Game
CSEE&T
Philipp Straubinger University of Passau, Lena Bloch University of Passau, Gordon Fraser University of Passau
Pre-print
17:00
20m
Talk
Bug-Hunting Games to Add Excitement in Software Testing and Programming Classes
CSEE&T
Natalia Silvis-Cividjian Vrije Universiteit (VU) Amsterdam, Jasper Veltman Vrije Universiteit (VU) Amsterdam, Auke Buchel Vrije Universiteit (VU) Amsterdam, Erik Link Vrije Universiteit (VU) Amsterdam, Joshua Kenyon Vrije Universiteit (VU) Amsterdam, Michel Oey Amsterdam University of Applied Sciences

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
106

CSEE&T

Opening and Keynote

CSEE&T

AI in SE Education

CSEE&T

Instructional Methods and Curriculum Design

CSEE&T

Student Perceptions

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
106

CSEE&T

Day 2 Plenary

CSEE&T

Automated Feedback and Code Quality

CSEE&T

Security and Privacy

CSEE&T

Gamification and Engagement in Learning

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
106
CSEE&T
The Engaged Learner: From Experience to Learning and Impact
09:00 - 10:30
CSEE&T
Insights from the Frontline: GenAI Utilization Among Software Engineeri ...
11:00 - 11:20
CSEE&T
Towards Implementing and Evaluating AI-Assisted Pull Requests in Softwa ...
11:20 - 11:40
CSEE&T
Do AI assistants help students write formal specifications? A study wit ...
11:40 - 12:00
CSEE&T
Software Engineering Education for Technical Engineering Degrees and It ...
14:00 - 14:20
CSEE&T
Software Engineering Courses through the Lens of an Education Intellige ...
14:20 - 14:40
CSEE&T
Software Engineering Educational Experience in Building an Intelligent ...
14:40 - 15:00
CSEE&T
Learner Preferences in Software Engineering Education: A Comparative St ...
15:00 - 15:20
CSEE&T
Student Perceptions of Group Formation in Software Engineering Courses
16:00 - 16:20
CSEE&T
Understanding Students’ Experience and Perception of Gender Bias in a S ...
16:20 - 16:40
CSEE&T
Students' Perception of ChatGPT in Software Engineering: Lessons Learne ...
16:40 - 17:00

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
106
CSEE&T
Keynote 2
09:00 - 10:30
CSEE&T
Mitigating Obfuscation Attacks on Software Plagiarism Detectors via Sub ...
11:00 - 11:20
CSEE&T
SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses
11:20 - 11:40
CSEE&T
Automated Feedback Generation for Programming Assignments through Diver ...
11:40 - 12:00
CSEE&T
Exploring how students test models in Model-Driven Engineering
12:00 - 12:20
CSEE&T
A journey through Cyberium: creating user stories for a dystopic world ...
14:00 - 14:20
CSEE&T
Phishing Awareness via Game-Based Learning
14:20 - 14:40
CSEE&T
Authentic Learning Exercise for Kubernetes Misconfigurations: An Experi ...
14:40 - 15:00
CSEE&T
OSSDoorway: A Gamified Environment to Scaffold Student Contributions to ...
16:00 - 16:20
CSEE&T
Robotics Software Engineering Education: An Experience Report
16:20 - 16:40
CSEE&T
Teaching Loop Testing to Young Learners with the Code Critters Mutation ...
16:40 - 17:00
CSEE&T
Bug-Hunting Games to Add Excitement in Software Testing and Programming ...
17:00 - 17:20