FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
ICSE 2026 (series) / FormaliSE 2026 (series) / Windsor Convention Center and Hotels /

Room information: Capri III

VenueWindsor Convention Center and Hotels
Room nameCapri III
Floor0
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

Sat 18 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Paper Session 1 - Software Engineering and Architecture for GamesGAS at Capri III
Chair(s): Kiev Gama Universidade Federal de Pernambuco
09:00
12m
Day opening
Opening & Welcome
GAS
Maria Andréia Formico Rodrigues University of Fortaleza, Troy Costa Kohwalter Universidade Federal Fluminense (UFF)
09:12
12m
Full-paper
Enhancing Automated Video Game Regression Testing through Behavior-Driven Development and Imitation Learning
GAS
Vincent Mastain None, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec
09:25
12m
Full-paper
Identifying Video Game Debugging Bottlenecks: An Industry Perspective
GAS
Carlos Pinto École de Technologie Supérieure, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec
09:38
12m
Full-paper
Software Architecture Sherlock: An Educational Game for Software Architecture Exploration and Problem-solving
GAS
Simon Gschnell Free University of Bozen-Bolzano, Joao Daniel Free University of Bozen-Bolzano, Phyllipe de Souza Lima Francisco UNIFEI - Federal University of Itajubá, Paulo Queiroz Federal University of the Semi-Arid Region, Eduardo Guerra Free University of Bozen-Bolzano
09:51
12m
Full-paper
Using Hypothesis Engineering to Manage Architectural Uncertainties in Unity DOTS Game Development: A Case Study
GAS
Antonio Coppe Free University of Bozen-Bolzano, Fabio Fagundes Silveira Federal University of São Paulo (UNIFESP), Eduardo Guerra Free University of Bozen-Bolzano
10:04
12m
Short-paper
CG-WFC: A Hybrid Cyclic-Graph & WFC Method for Designer-Guided and Replayable Procedural Content Generation
GAS
Laurent Voisard Concordia University, Cristiano Politowski Ontario Tech University, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal
10:17
12m
Full-paper
Characterizing Open-Source Video Games from a Software Engineering Perspective
GAS
Henrique Mandelli Canella Universidade Federal de São Carlos, Yohan Duarte Federal University of Sao Carlos, Cristiano Politowski Ontario Tech University, Vinicius Durelli Federal University of São Carlos, Andre Takeshi Endo Federal University of São Carlos
11:00 - 12:30
Keynote 1GAS at Capri III
Chair(s): Maria Andréia Formico Rodrigues University of Fortaleza
11:00
60m
Keynote
From Code to Play: Engineering the Art of Games
GAS
Tulio Caraciolo Manifesto Games
14:00 - 15:30
Paper Session 2 - AI, Gameplay Systems, and Serious GamesGAS at Capri III
Chair(s): Kendra Cooper Independent
14:00
15m
Full-paper
Evaluating the Effect of Generative AI Content in Common Game Development Software Architectures
GAS
Ashish Amresh Northern Arizona University, Siddharth Subramanian Northern Arizona University, Igor Steinmacher RESHAPE LAB, Northern Arizona University, USA
14:15
15m
Full-paper
Creativity Beyond Functionality: An Observational Study of Easter Eggs in Video Games
GAS
Cristiano Politowski Ontario Tech University, Claudio Di Sipio Johannes Kepler University Linz, Benoit Baudry Université de Montréal, Michalis Famelis Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
14:30
15m
Full-paper
Exploiting Jump Point Search for Dealing with Sokoban Problems
GAS
Christopher McKie Queen's University Belfast, Zheng Li Queen's University Belfast, UK
14:45
15m
Full-paper
Multilingual Game Dialogue Translation using Large Language Models: A Performance Survey
GAS
Quang Phuoc Nguyen Ontario Tech University, Cristiano Politowski Ontario Tech University, Labib Rahman Ontario Tech University, En-Shiun Annie Lee Ontario Tech University
15:00
15m
Full-paper
Using Digital Games for Simulating Self-Adaptive Systems: A Case Study of Drone Missions in Minecraft
GAS
Matheus Chagas State University of Ceará, Gabryella Rodrigues State University of Ceara, Brazil, Kalil Rodrigues State University of Ceara, Brazil, Lucas Holanda State University of Ceara, Brazil, Vinícius dos Santos Alves State University of Ceara, Brazil, Luis Benevides State University of Ceara, Brazil, Lucas Vieira State University of Ceará, Paulo Maia State University of Ceará
15:15
15m
Full-paper
Serious Game Mechanisms for Cognitive Distortion Assessment: Analyzing the Effects of Game Environment and Control
GAS
Rifat Ara Tasnim Idaho State University, Farjana Eishita Idaho State University
16:00 - 17:30
Keynote 2 and PanelGAS at Capri III
16:00
50m
Keynote
From Game Engine to Ecosystem: Unreal as a Large-Scale Software Engineering Platform
GAS
C: Maria Andréia Formico Rodrigues University of Fortaleza
16:50
30m
Panel
Are we there, yet? Top Challenges on the Road Ahead for Games and Software Engineering
GAS
C: Troy Costa Kohwalter Universidade Federal Fluminense (UFF), P: Rogelio E. Cardona-Rivera , P: Paolo Ciancarini University of Bologna, P: Esteban Clua , P: Joseph C. Osborn Pomona College, P: Ciprian Paduraru Gameloft, and University of Bucharest
17:20
10m
Day closing
Closing
GAS
Maria Andréia Formico Rodrigues University of Fortaleza, Troy Costa Kohwalter Universidade Federal Fluminense (UFF)

Sat 18 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Capri III

GAS

Paper Session 1 - Software Engineering and Architecture for Games

GAS

Keynote 1

GAS

Paper Session 2 - AI, Gameplay Systems, and Serious Games

GAS

Keynote 2 and Panel

Sat 18 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Capri III
GAS
Opening & Welcome
09:00 - 09:12
GAS
Enhancing Automated Video Game Regression Testing through Behavior-Driv ...
09:12 - 09:25
GAS
Identifying Video Game Debugging Bottlenecks: An Industry Perspective
09:25 - 09:38
GAS
Software Architecture Sherlock: An Educational Game for Software Archit ...
09:38 - 09:51
GAS
Using Hypothesis Engineering to Manage Architectural Uncertainties in U ...
09:51 - 10:04
GAS
CG-WFC: A Hybrid Cyclic-Graph & WFC Method for Designer-Guided and Repl ...
10:04 - 10:17
GAS
Characterizing Open-Source Video Games from a Software Engineering Pers ...
10:17 - 10:30
GAS
From Code to Play: Engineering the Art of Games
11:00 - 12:00
GAS
Evaluating the Effect of Generative AI Content in Common Game Developme ...
14:00 - 14:15
GAS
Creativity Beyond Functionality: An Observational Study of Easter Eggs ...
14:15 - 14:30
GAS
Exploiting Jump Point Search for Dealing with Sokoban Problems
14:30 - 14:45
GAS
Multilingual Game Dialogue Translation using Large Language Models: A P ...
14:45 - 15:00
GAS
Using Digital Games for Simulating Self-Adaptive Systems: A Case Study ...
15:00 - 15:15
GAS
Serious Game Mechanisms for Cognitive Distortion Assessment: Analyzing ...
15:15 - 15:30
GAS
From Game Engine to Ecosystem: Unreal as a Large-Scale Software Enginee ...
16:00 - 16:50
GAS
Are we there, yet? Top Challenges on the Road Ahead for Games and Softw ...
16:50 - 17:20
GAS
Closing
17:20 - 17:30