Sun 14 AprDisplayed 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 5mOther | Welcome GAS | ||
09:05 45mKeynote | Carlos Cetina, Professor with San Jorge University, presents Harnessing video game simulations: an opportunity to generate content and locate bugs GAS | ||
09:50 20mResearch 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 20mResearch 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 |
09:00 - 10:30 | |||
09:00 90mKeynote | Keynote FTW |
09:00 - 10:30 | |||
09:00 10mDay opening | Opening FormaliSE | ||
09:10 80mKeynote | FormalISE: Reflections on Formal and Informal Methods in Software Engineering FormaliSE Cristian Cadar Imperial College London |
09:00 - 10:30 | Day 1 Opening Session / Keynote 1CHASE Full Papers / CHASE Journal-First at Fernando Pessoa Chair(s): Birgit Penzenstadler Chalmers | ||
09:00 10mDay opening | Day 1 Opening CHASE Full Papers | ||
09:10 60mKeynote | A Journey Into the Emotions of Software Developers CHASE Full Papers | ||
10:10 20mPaper | Ethics in the Age of AI: An Analysis of AI Practitioners’ Awareness and ChallengesJournal-First CHASE Journal-First Aastha Pant Monash University, Rashina Hoda Monash University, Simone Spiegler Monash University, Kla Tantithamthavorn Monash University, Burak Turhan University of Oulu |
09:00 - 10:30 | Opening + Keynote 1SBFT at Glicínia Quartin Chair(s): Alessio Gambi IMC University of Applied Sciences Krems | ||
09:00 30mDay opening | Introduction SBFT Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Vincenzo Riccio University of Udine | ||
09:30 60mKeynote | The Power of Fuzzing and Large Language Models SBFT Caroline Lemieux University of British Columbia |
09:00 - 10:30 | SESoS Opening & Keynote SpeakerSESoS at Lopes Graça Chair(s): Antonia Bertolino National Research Council, Italy | ||
09:00 30mDay opening | SESoS Opening SESoS Francesca Lonetti CNR-ISTI, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology | ||
09:30 60mKeynote | Collaboration or, wait -- diversity at large scale: How inclusive developers can engineer software for diverse end-users SESoS Daniela Damian University of Victoria |
09:00 - 10:30 | FORGE2024 Opening / Keynote 1 / PanelFORGE Keynotes / FORGE Panel at Luis de Freitas Branco Chair(s): Xin Xia Huawei Technologies, Xing Hu Zhejiang University | ||
09:00 10mDay opening | Introduction from The Chairs FORGE Keynotes | ||
09:10 40mKeynote | Keynote 1: Large Language Models for Test Case Repair FORGE Keynotes Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
09:50 40mPanel | Theme: Is There Space for Software Engineering Researchers to Contribute to AI4SE in The Era of Foundation Models? FORGE Panel Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Denys Poshyvanyk William & Mary, Prem Devanbu University of California at Davis, Massimiliano Di Penta University of Sannio, Italy, David Lo Singapore Management University |
09:00 - 10:30 | Keynote 1SATrends at Maria Helena Vieira da Silva Chair(s): Davide Taibi University of Oulu and Tampere University | ||
09:00 90mKeynote | Keynote 1: Matrushka and the spider - or the challenge to connect architectural knowledge across boundaries SATrends |
09:00 - 10:30 | Opening and KeynoteCAIN Research and Experience Papers at Pequeno Auditório Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute | ||
09:00 30mDay opening | Opening CAIN Research and Experience Papers | ||
09:30 60mKeynote | Keynote by Pedro Bizarro - To have great machine learning models in production in harsh environments, first focus on the harsh environments CAIN Research and Experience Papers |
09:00 - 10:30 | Opening sessionTechDebt Plenary at Vianna da Motta Chair(s): Zadia Codabux University of Saskatchewan, Canada, Matthias Galster University of Canterbury, Rodrigo Spinola Virginia Commonwealth University Voting for all presentations (except keynotes and invited talks): https://docs.google.com/forms/d/e/1FAIpQLSes4USLU1cav7r3gXoEkbAoCOQ9S2clhuXoAIBmkF3D1_U6aQ/viewform | ||
09:00 15mDay opening | Conference opening TechDebt Plenary P: Zadia Codabux University of Saskatchewan, Canada, P: Rodrigo Spinola Virginia Commonwealth University, G: Matthias Galster University of Canterbury | ||
09:15 60mKeynote | Keynote 1: Technical Debt: Are we human or are we dancer(s)? TechDebt Plenary | ||
10:15 15mKeynote | Keynote Q&A TechDebt Plenary S: Zadia Codabux University of Saskatchewan, Canada, S: Rodrigo Spinola Virginia Commonwealth University |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
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 20mResearch 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 20mResearch 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 20mResearch 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 15mResearch paper | Super Mario in the Pernicious Kingdoms Classifying glitches in old games GAS |
11:00 - 12:30 | |||
11:00 30mPaper | Presubmit Rescue: Automatically Ignoring FlakyTest Executions FTW | ||
11:30 30mPaper | Regression Test History Data for Flaky Test Research FTW File Attached | ||
12:00 30mPaper | Predicting the Lifetime of Flaky Tests on Chrome FTW |
11:00 - 12:30 | Automata and applicationsFormaliSE at Eugénio de Andrade Chair(s): Domenico Bianculli University of Luxembourg | ||
11:00 30mTalk | Contract Automata: A Specification Language for Mode-Based Systems FormaliSE Alexander Weigl Karlsruhe Institute for Technology, Joshua Bachmeier FZI Forschungszentrum Informatik, Bernhard Beckert Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology | ||
11:30 30mTalk | Finite Automata synthesis from Interactions FormaliSE Erwan Mahe Université Paris-Saclay, CEA, List, Boutheina Bannour Université Paris-Saclay, CEA, List, Christophe Gaston Université Paris-Saclay, CEA, List, Arnault Lapitre Université Paris-Saclay, CEA, List, Pascale Le Gall CentraleSupelec | ||
12:00 30mTalk | Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling FormaliSE Olivier Zeyen University of Luxembourg, SnT, Maxime Cordy University of Luxembourg, Luxembourg, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France |
11:00 - 12:30 | Decision-making and selection processes in software developmentCHASE Full Papers at Fernando Pessoa Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital | ||
11:00 20mFull-paper | “How do people decide?”: A Model for Software Library SelectionFull Paper CHASE Full Papers Minaoar Hossain Tanzil University of Calgary, Canada, Gias Uddin York University, Canada, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary DOI Pre-print | ||
11:20 20mFull-paper | The Roles, Responsibilities, and Skills of Engineers in the Era of Microservices-Based ArchitecturesFull Paper CHASE Full Papers Hamdy Michael Ayas Chalmers | University of Gothenburg, Regina Hebig Chalmers University of Technology & University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg | ||
11:40 20mFull-paper | Identification of human values from goal modelsFull Paper CHASE Full Papers Tahira Iqbal University of Tartu, Kuldar Taveter University of Tartu, Estonia, Tarmo Strenze , Waqar Hussain Monash University, Omar Haggag Monash University, Australia, John Alphonsus Matthews , Anu Piirisild | ||
12:00 20mFull-paper | From the Inside Out: Organizational Impact on Open-Source Communities and Contributor DiversityFull Paper CHASE Full Papers Hana Frluckaj , Huilian Sophie Qiu Northwestern University, Bogdan Vasilescu Carnegie Mellon University, Laura Dabbish Carnegie Mellon University |
11:00 - 12:30 | |||
11:00 60mKeynote | Beyond the Class: A look into current trends in software testing education SBFT Anna Rita Fasolino Federico II University of Naples | ||
12:00 15mPaper | Automated Boundary Identification for Machine Learning Classifiers SBFT | ||
12:15 15mTalk | Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding SBFT Timo Blattner University of Bern, Christian Birchler Zurich University of Applied Sciences & University of Bern, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences |
11:00 - 12:30 | Foundation Models for Software Quality AssuranceFORGE Research Track at Luis de Freitas Branco Chair(s): Matteo Ciniselli Università della Svizzera Italiana | ||
11:00 14mFull-paper | Deep Multiple Assertions GenerationFull Paper FORGE Research Track | ||
11:14 14mFull-paper | MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented GenerationFull Paper FORGE Research Track Guanyu Wang Beijing University of Posts and Telecommunications, Yuekang Li The University of New South Wales, Yi Liu Nanyang Technological University, Gelei Deng Nanyang Technological University, Li Tianlin Nanyang Technological University, Guosheng Xu Beijing University of Posts and Telecommunications, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology, Kailong Wang Huazhong University of Science and Technology | ||
11:28 14mFull-paper | Planning to Guide LLM for Code Coverage PredictionFull Paper FORGE Research Track Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas | ||
11:42 7mShort-paper | The Emergence of Large Language Models in Static Analysis: A First Look through Micro-BenchmarksNew Idea Paper FORGE Research Track Ashwin Prasad Shivarpatna Venkatesh University of Paderborn, Samkutty Sabu University of Paderborn, Amir Mir Delft University of Technology, Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, Eric Bodden | ||
11:49 14mFull-paper | Reality Bites: Assessing the Realism of Driving Scenarios with Large Language ModelsFull Paper FORGE Research Track Jiahui Wu Simula Research Laboratory and University of Oslo, Chengjie Lu Simula Research Laboratory and University of Oslo, Aitor Arrieta Mondragon University, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University | ||
12:03 7mShort-paper | Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance CasesNew Idea Paper FORGE Research Track Kimya Khakzad Shahandashti York University, Mithila Sivakumar York University, Mohammad Mahdi Mohajer York University, Alvine Boaye Belle York University, Song Wang York University, Timothy Lethbridge University of Ottawa | ||
12:10 20mOther | Discussion FORGE Research Track |
11:00 - 12:30 | Software Architecture and InfrastructureSATrends at Maria Helena Vieira da Silva Chair(s): Patricia Lago Vrije Universiteit Amsterdam | ||
11:00 15mTalk | On the need to merge architectural and infrastructural considerations SATrends | ||
11:15 15mTalk | Self-sustaining Software Systems (S4): Towards Improved Interpretability and Adaptation SATrends A: Christian Cabrera Department of Computer Science and Technology, Univesity of Cambridge, A: Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, A: Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge | ||
11:30 15mTalk | Modular Monolith: Is This the Trend in Software Architecture? SATrends | ||
11:45 45mTalk | Working Session on new trends on software architecture SATrends |
11:00 - 12:30 | Architecting, Designing, Managing, and Modeling AI-Enabled SystemsCAIN Industry Talks / CAIN Research and Experience Papers at Pequeno Auditório Chair(s): Nicolás Cardozo Universidad de los Andes | ||
11:00 10mTalk | A Taxonomy of Foundation Model based Systems through the Lens of Software Architecture CAIN Research and Experience Papers Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Xiwei (Sherry) Xu Data61, CSIRO, Yue Liu CSIRO's Data61 & University of New South Wales, Zhenchang Xing CSIRO's Data61, Jon Whittle CSIRO's Data61 and Monash University | ||
11:10 15mTalk | Investigating the Impact of Solid Design Principles on Machine Learning Code UnderstandingDistinguished paper Award Candidate CAIN Research and Experience Papers Raphael Cabral Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Hugo Villamizar Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Tatiana Escovedo Pontifical Catholic University of Rio de Janeiro, Helio Côrtes Vieira Lopes PUC-Rio Pre-print | ||
11:25 10mIndustry talk | KnowING Intelligent Document Classification: A Deep Dive into Microservices and Efficient Models at ING CAIN Industry Talks A: Andrew Rutherfoord CWI; University of Groningen, A: Gert Vermeer , Andrea Capiluppi Brunel University | ||
11:35 15mTalk | An Exploratory Study of V-Model in Building ML-Enabled Software: A Systems Engineering PerspectiveDistinguished paper Award Candidate CAIN Research and Experience Papers Jie JW Wu University of British Columbia (UBC) Pre-print | ||
11:50 10mIndustry talk | Engineering Challenges in Industrial AI CAIN Industry Talks | ||
12:00 10mTalk | Approach for Argumenting Safety on Basis of an Operational Design Domain CAIN Research and Experience Papers Gereon Weiss Fraunhofer IKS, Marc Zeller Siemens AG, Hannes Schoenhaar Siemens Corporate Technology, Christian Drabek Fraunhofer Institute for Cognitive Systems IKS, Andreas Kreutz Fraunhofer Institute for Cognitive Systems IKS | ||
12:10 15mTalk | The Impact of Knowledge Distillation on the Performance and Energy Consumption of NLP Models CAIN Research and Experience Papers Ye Yuan Vrije Universiteit Amsterdam, Jiacheng Shi Vrije Universiteit Amsterdam, Zongyao Zhang Vrije Universiteit Amsterdam, Kaiwei Chen Vrije Universiteit Amsterdam, Eloise Zhang Vrije Universiteit Amsterdam, Vincenzo Stoico Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | Afternoon Session IIIGAS at Amadeo de Souza-Cardoso Chair(s): Joan Arnedo Moreno Afternoon Keynote and Research Paper Presentations on Topics in Specification and QoS | ||
14:00 50mKeynote | Ramon Santamaria, Developer and Professor at Tecnocampus Pompeu Fabra University, presents Maintaining raylib for 10 years: a popular multi-platform FOSS library for education and graphics development GAS | ||
14:50 15mResearch paper | Visual Scripting in Unity: A Comparative Analysis of Existing Frameworks GAS | ||
15:05 20mResearch paper | Towards Understanding the Energy Consumption of Virtual Reality Applications in Gaming, Education, and Entertainment GAS A: Jyothsna Priya Kattakinda , A: Sachin Dhananjaya , A: Samuel Mojžiš , A: Amine Nadif , A: Mattheus Hanna , P: Radu Apsan , A: Ivano Malavolta Vrije Universiteit Amsterdam |
14:00 - 15:30 | Debugging Flaky Tests in Different DomainsFTW at Amália Rodrigues Chair(s): Owain Parry The University of Sheffield | ||
14:00 30mPaper | On the Impact of Hitting System Resource Limits on Test Flakiness FTW A: Fabian Leinen Technical University of Munich, A: Alexander Perathoner Technical University of Munich, A: Alexander Pretschner TU Munich Pre-print Media Attached | ||
14:30 30mPaper | Flaky Tests in the AI Domain FTW A: Péter Attila Soha Department of Software Engineering, University of Szeged, A: Béla Vancsics , A: Tamás Gergely Department of Software Engineering, University of Szeged, A: Árpád Beszédes Department of Software Engineering, University of Szeged | ||
15:00 30mPaper | Can ChatGPT Repair Non-Order-Dependent Tests? FTW A: Yang Chen University of Illinois at Urbana-Champaign, A: Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign |
14:00 - 15:30 | Timed behavior specification and verificationFormaliSE at Eugénio de Andrade Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon | ||
14:00 30mTalk | Diagnosing Violations of Time-based Properties Captured in iCFTL FormaliSE Cristina Stratan University of Luxembourg, Joshua Heneage Dawes University of Luxembourg, Domenico Bianculli University of Luxembourg | ||
14:30 30mTalk | Time for Networks: Mutation Testing for Timed Automata Networks FormaliSE David Cortés Universidad del Valle, James Ortiz Université de Namur, Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Jesus Aranda Universidad del Valle, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens Université de Namur | ||
15:00 30mTalk | Verifying Opacity of Discrete-Timed Automata FormaliSE Julian Klein Technische Universität Berlin, Paul Kogel Technische Universität Berlin, Sabine Glesner Technische Universität Berlin |
14:00 - 15:30 | Research Track 2 + Tutorial 1SBFT at Glicínia Quartin Chair(s): Gunel Jahangirova King's College London | ||
14:00 15mPaper | Generator-based Fuzzing with Input Features SBFT Roman Kraus Fraunhofer FOKUS, Hoang Lam Nguyen Humboldt-Universität zu Berlin, Martin A. Schneider Fraunhofer FOKUS | ||
14:15 15mPaper | Syntest-JavaScript- Automated Unit-Level Test Case Generation for JavaScript SBFT Mitchell Olsthoorn Delft University of Technology, Dimitri Stallenberg Delft University of Technology, Annibale Panichella Delft University of Technology | ||
14:30 30mTutorial | Fuzz Testing for Security (Part I) SBFT Thorsten Holz CISPA Helmholtz Center for Information Security | ||
15:00 30mTutorial | SoKotHban: A King-of-the-Hill-style Search Optimisation Competition (Part II) SBFT Addison Crump CISPA Helmholtz Center for Information Security |
14:00 - 15:30 | Technical Session 2: Systems-of-Systems & Ecosystems: ApplicationsSESoS at Lopes Graça Chair(s): Maria Teresa Rossi University of Milano Bicocca, Italy | ||
14:00 20mPaper | Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems SESoS Theodore Chambers University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Innsbruck Pre-print | ||
14:20 20mPaper | Exploring Transparency as a Sustainability Goal in Software Ecosystems SESoS Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Patricia Lago Vrije Universiteit Amsterdam | ||
14:40 10mShort-paper | Exploring Trust Black-Swan Blindness in Social Internet of Vehicles (SIoV) SESoS Hind Bangui Masaryk University, Barbora Buhnova Masaryk University, Dasa Kusnirakova Masaryk University | ||
14:50 10mShort-paper | On an Exemplar Supporting Model-based Quality Assurance Research on Healthcare Systems-of-Systems SESoS Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg, Florian Ruehs Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers BTU Cottbus Senftenberg | ||
15:00 10mShort-paper | A Multilevel Modelling Framework for Quarry Site Operations SESoS Abdulkarim Habbab Volvo Construction Equipment, Anas Fattouh Mälardalen University, Bobbie Frank Volvo Construction Equipment, Elianne Lindmark Volvo Construction Equipment, Koteshwar Chirumalla Mälardalen University, Markus Bohlin Mälardalen University |
14:00 - 15:30 | Organizational Structure SATrends at Maria Helena Vieira da Silva Chair(s): Luciano Baresi Politecnico di Milano | ||
14:00 15mTalk | Understanding the Causes of Microservice Logical Coupling: an Exploratory Study SATrends P: Dario Amoroso d'Aragona Tampere University, A: Xiaozhou Li University of Oulu, A: Andrea Janes Free University of Bozen-Bolzano | ||
14:15 15mTalk | A Framework for Microservice Organizational Structure Optimization SATrends | ||
14:30 60mTalk | Working Session on Organizational Structure SATrends |
14:00 - 15:30 | ERF/industryTechDebt Industry track / TechDebt Emerging Researchers' Forum at Vianna da Motta Chair(s): Florian Deissenboeck CQSE GmbH, Tushar Sharma Dalhousie University | ||
14:00 5m | ERF introduction TechDebt Emerging Researchers' Forum | ||
14:05 15mResearch paper | Towards a Technical Debt for Recommender System TechDebt Emerging Researchers' Forum Sergio Moreschini Tampere University, Valentina Lenarduzzi University of Oulu, Ludovik Coba Roku Inc | ||
14:20 10mLive Q&A | Q&A TechDebt Emerging Researchers' Forum | ||
14:30 25mPanel | Panel TechDebt Emerging Researchers' Forum S: Tushar Sharma Dalhousie University, P: Nicolás E. Díaz Ferreyra Hamburg University of Technology, P: Thomas Durieux TU Delft, P: Alexander Chatzigeorgiou University of Macedonia | ||
14:55 5mIndustry talk | Industry track introduction TechDebt Industry track | ||
15:00 20mIndustry talk | AI-based consolidation of text modules TechDebt Industry track | ||
15:20 10mLive Q&A | Q&A TechDebt Industry track |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
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 75mPanel | Emerging Advanced Technologies for Games and Software Engineering GAS | ||
17:15 15mOther | Closing Remarks GAS |
16:00 - 17:30 | |||
16:00 90mPanel | Discussion Panel FTW P: Jonathan Bell Northeastern University, P: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, P: Mark Harman Meta Platforms, Inc. and UCL, P: Darko Marinov University of Illinois at Urbana-Champaign, P: Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity |
16:00 - 17:30 | Formal methods for cyber-physical systems and requirements engineeringFormaliSE at Eugénio de Andrade Chair(s): Cristian Cadar Imperial College London | ||
16:00 30mTalk | Automated Repair of Violated Eventually Properties in Concurrent Programs FormaliSE Irman Faqrizal Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Quentin Nivon Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Gwen Salaün University of Grenoble Alpes | ||
16:30 30mTalk | Compositional Analysis of Parametric Cooperative Cyber-Physical Systems FormaliSE Raniah Alghamdi University of Waterloo and King Abdulaziz University, Richard Trefler University of Waterloo | ||
17:00 30mTalk | Formal Methods in Requirements Engineering: Survey and Future Directions FormaliSE Robert Lorch GE Research, Baoluo Meng GE Research, Kit Siu GE Research, Abha Moitra General Electric Research, Michael Durling GE Research, Saswata Paul GE Research, Sarat Chandra Varanasi GE Research, Craig McMillan GE Aerospace |
16:00 - 17:30 | Tool Competitions 1SBFT at Glicínia Quartin Chair(s): Ali Mohammed Al-Ameen Mohammed Zurich University of Applied Sciences (ZHAW), Christian Birchler Zurich University of Applied Sciences & University of Bern, José Campos University of Porto, Portugal, Huaming Chen The University of Sydney, Pouria Derakhshanfar JetBrains Research, Nicolas Erni , Rahul Gopinath University of Sydney, Philipp Görz , Stephan Lukasczyk University of Passau, Sebastiano Panichella Zurich University of Applied Sciences, Joschua Schilling , Valerio Terragni University of Auckland, Xi Wu The University of Sydney | ||
16:00 30mOther | Fuzzing Tool Competition SBFT Rahul Gopinath University of Sydney, Joschua Schilling , Philipp Görz , Xi Wu The University of Sydney, Huaming Chen The University of Sydney | ||
16:30 30mOther | Java Tool Competition SBFT | ||
17:00 30mOther | Python Tool Competition SBFT Sebastiano Panichella Zurich University of Applied Sciences, Stephan Lukasczyk University of Passau, Pouria Derakhshanfar JetBrains Research, Christian Birchler Zurich University of Applied Sciences & University of Bern, Nicolas Erni |
16:00 - 17:30 | |||
16:00 60mKeynote | Towards Data- and AI-Centricity SESoS Jan Bosch Chalmers University of Technology | ||
17:00 30mDay closing | Closing and Awards SESoS Francesca Lonetti CNR-ISTI, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology |
16:00 - 17:30 | FORGE2024 Awards & Foundation Models for Code and Documentation GenerationFORGE Research Track at Luis de Freitas Branco Chair(s): Antonio Mastropaolo Università della Svizzera italiana | ||
16:00 10mAwards | Award Ceremony FORGE Research Track | ||
16:10 7mShort-paper | Fine Tuning Large Language Model for Secure Code GenerationNew Idea Paper FORGE Research Track Junjie Li Concordia University, Aseem Sangalay Delhi Technological University, Cheng Cheng Concordia University, Yuan Tian Queen's University, Kingston, Ontario, Jinqiu Yang Concordia University | ||
16:17 14mFull-paper | Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case StudyFull Paper FORGE Research Track Tim van Dam Delft University of Technology, Frank van der Heijden Delft University of Technology, Philippe de Bekker Delft University of Technology, Berend Nieuwschepen Delft University of Technology, Marc Otten Delft University of Technology, Maliheh Izadi Delft University of Technology | ||
16:31 7mShort-paper | On Evaluating the Efficiency of Source Code Generated by LLMsNew Idea Paper FORGE Research Track Changan Niu Software Institute, Nanjing University, Ting Zhang Singapore Management University, Chuanyi Li Nanjing University, Bin Luo Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688 | ||
16:38 14mFull-paper | PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4Full Paper FORGE Research Track Seif Abukhalaf Polytechnique Montreal, Mohammad Hamdaqa Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal | ||
16:52 7mShort-paper | Creative and Correct: Requesting Diverse Code Solutions from AI Foundation ModelsNew Idea Paper FORGE Research Track Scott Blyth Monash University, Christoph Treude Singapore Management University, Markus Wagner Monash University, Australia | ||
16:59 7mShort-paper | Commit Message Generation via ChatGPT: How Far Are We?New Idea Paper FORGE Research Track | ||
17:06 24mOther | Discussion FORGE Research Track |
16:00 - 17:30 | Keynote 2SATrends at Maria Helena Vieira da Silva Chair(s): Henry Muccini University of L'Aquila, Italy | ||
16:00 90mKeynote | Keynote 2: Playing with Abstractions: Can LLMs be Architects New Best Friend? SATrends |
16:00 - 18:00 | Generative AI EngineeringCAIN Industry Talks / CAIN Research and Experience Papers at Pequeno Auditório Chair(s): Ipek Ozkaya Carnegie Mellon University | ||
16:00 15mTalk | Developer Experiences with a Contextualized AI Coding Assistant: Usability, Expectations, and Outcomes CAIN Research and Experience Papers Gustavo Pinto Federal University of Pará (UFPA) and Zup Innovation, Cleidson de Souza Federal University of Pará, Brazil, Thayssa Rocha Zup Innovation & UFPA, Igor Steinmacher Northern Arizona University, Alberto de Souza Zup Innovation, Edward Monteiro StackSpot | ||
16:15 10mTalk | Privacy and Copyright Protection in Generative AI: A Lifecycle Perspective CAIN Research and Experience Papers Dawen (David) Zhang CSIRO's Data61, Boming Xia CSIRO's Data61 & University of New South Wales, Yue Liu CSIRO's Data61 & University of New South Wales, Xiwei (Sherry) Xu Data61, CSIRO, Thong Hoang CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Mark Staples CSIRO, Australia, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61 | ||
16:25 10mIndustry talk | Innovating Translation: Lessons Learned from BWX Generative Language Engine CAIN Industry Talks | ||
16:35 15mTalk | Towards a Responsible AI Metrics Catalogue: A Collection of Metrics for AI AccountabilityDistinguished paper Award Candidate CAIN Research and Experience Papers Boming Xia CSIRO's Data61 & University of New South Wales, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Sung Une (Sunny) Lee CSIRO's Data61, Yue Liu CSIRO's Data61 & University of New South Wales, Zhenchang Xing CSIRO's Data61 Pre-print | ||
16:50 10mLive Q&A | GenAI : Q&A CAIN Research and Experience Papers | ||
17:00 60mPanel | Industry Panel CAIN Industry Talks |
16:00 - 17:30 | |||
16:00 20mIndustry talk | OutSystems AI Mentor System - Technical Debt Dashboard TechDebt Industry track | ||
16:20 10mLive Q&A | Q&A TechDebt Industry track | ||
16:30 20mIndustry talk | Don't Fight but Embrace TechDebts TechDebt Industry track | ||
16:50 10mLive Q&A | Q&A TechDebt Industry track | ||
17:00 20mIndustry talk | The Hidden Cost: Technical Debt and Its Ambiguous Influence on UX TechDebt Industry track Veronika Dashuber QAware GmbH | ||
17:20 10mLive Q&A | Q&A TechDebt Industry track |
18:30 - 21:00 | Conference dinnerTechDebt Technical papers / TechDebt Emerging Researchers' Forum / TechDebt Plenary / TechDebt Industry track at Guelra | ||
18:30 2h30mSocial Event | Conference dinner at Restaurante Guelra TechDebt Technical papers |
Mon 15 AprDisplayed time zone: Lisbon change
09:00 - 10:30 | Day 1: OpeningMSR Technical Papers / MSR Awards / MSR Social Events / MSR Tutorials / MSR Data and Tool Showcase Track / MSR Mining Challenge / MSR Registered Reports / MSR Industry Track / MSR MIP Award / MSR Vision and Reflection / MSR Keynotes at Grande Auditório Chair(s): Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology | ||
09:00 30mDay opening | Opening Session & Award Announcements MSR Awards | ||
09:30 30mAwards | MSR 2024 Foundational Contribution Award talk MSR Awards Margaret-Anne Storey University of Victoria | ||
10:00 30mTalk | Most Influential Paper Award talk MSR MIP Award Eirini Kalliamvakou GitHub |
09:00 - 10:30 | Developing secure softwareEnCyCriS/SVM at Amadeo de Souza-Cardoso Chair(s): Awais Rashid University of Bristol, UK | ||
09:00 5mDay opening | Wokshop opening EnCyCriS/SVM | ||
09:05 45mKeynote | Keynote: If you build it, they (probably) won’t come EnCyCriS/SVM | ||
09:50 20mFull-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 20mFull-paper | Mitigating Security Issues in GitHub Actions EnCyCriS/SVM |
09:00 - 10:30 | Conference Opening & KeynoteAST at Amália Rodrigues Chair(s): Francesca Lonetti CNR-ISTI, Mehrdad Saadatmand RISE Research Institutes of Sweden | ||
09:00 30mOther | Chairs Welcome AST Christof J. Budnik Siemens Corporation, Corporate Technology, Jenny Li Kean University, USA, Mehrdad Saadatmand RISE Research Institutes of Sweden | ||
09:30 60mKeynote | Exploring the landscape: Software Testing in the AI Era AST Ina Schieferdecker TU Berlin Media Attached File Attached |
09:00 - 10:30 | |||
09:00 90mKeynote | Automated Testing and Maintenance of Mobile Applications: Are We There Yet? MOBILESoft Research Track |
09:00 - 10:30 | Session 1RoSE at Cottinelli Telmo Chair(s): Ivano Malavolta Vrije Universiteit Amsterdam Welcome to RoSE ’24 Keynote: “Seeing the forest instead of the trees: Assessing context of use for robotics software engineering methods and tools.” Ingo Luetkebohle Energy Efficiency of ROS Nodes in Different Languages: Publisher/Subscriber Case Studies. Michel Albonico, Paulo Júnior Varela, Adair José Rohling and Andreas Wortmann | ||
09:00 - 10:30 | Early Morning SessionInteNSE at Daciano da Costa Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso | ||
09:00 20mPaper | An Empirical Comparison of Code Generation Approaches for Ansible InteNSE Benjamin Darnell University of California, Santa Barbara, Hetarth Chopra University of Illinois at Urbana-Champaign, Aaron Councilman Univ of Illinois Urbana-Champaign, David Grove IBM Research, Vikram S. Adve University of Illinois at Urbana-Champaign, USA | ||
09:20 70mKeynote | Towards an Interpretable Science of Deep Learning for Software Engineering: A Causal Inference View InteNSE Denys Poshyvanyk William & Mary |
09:00 - 10:30 | KeynoteFormaliSE at Eugénio de Andrade Chair(s): Carlo A. Furia Università della Svizzera italiana (USI) | ||
09:00 90mKeynote | Two-way collaboration between flow and proof in SPARKBA FormaliSE Claire Dross AdaCore |
09:00 - 10:30 | Day 2 Opening Session with Awards / Keynote 2CHASE Full Papers at Fernando Pessoa Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital | ||
09:00 15mDay opening | Day 2 Opening with Awards CHASE Full Papers | ||
09:15 60mKeynote | The Surprising Implications of Realism for Human Factors Research CHASE Full Papers |
09:00 - 10:30 | Opening Day 2 + Keynote 3SBFT at Glicínia Quartin Chair(s): Alessio Gambi IMC University of Applied Sciences Krems | ||
09:00 30mDay opening | Introduction SBFT Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Vincenzo Riccio University of Udine | ||
09:30 60mKeynote | Search-based Testing and Analysis for Block-Based Learners’ Programs SBFT Gordon Fraser University of Passau |
09:00 - 10:30 | Opening, Keynote, Design ExplorationDesigning at Lopes Graça Chair(s): Yuanfang Cai Drexel University | ||
09:00 10mDay opening | Opening Designing | ||
09:10 60mKeynote | Evolving System Design While Tracking Live Pitches and Players For Thousands of Games! Designing | ||
10:10 10mTalk | Design Spaces and How Software Designers Use Them: a sampler Designing Mary Shaw Carnegie Mellon University, Marian Petre School of Computing and Communications, The Open University, UK | ||
10:20 10mTalk | The Architect in the Maze: On the Effective Usage of Automated Design Exploration Designing | ||
10:30 10mTalk | Challenges in Creating Effective Automated Design Environments: an experience report from the domain of generative manufacturing Designing David Garlan Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA, Javier Camara University of Málaga, Rebekka Wohlrab Chalmers University of Technology |
09:00 - 10:30 | |||
09:00 30mTalk | SEAMS 2024 Opening SEAMS Research Track | ||
09:30 60mKeynote | Keynote: Advances on Symbolic Machine Learning and Recent Applications to Software Engineering SEAMS Research Track Alessandra Russo Imperial College London |
09:00 - 10:30 | Opening & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Cristian Cadar Imperial College London | ||
09:00 30mDay opening | Opening Remarks KLEE Cristian Cadar Imperial College London | ||
09:30 46mKeynote | Software Complexity, Path Complexity, and Branch Selectivity KLEE Tevfik Bultan University of California at Santa Barbara |
09:00 - 10:30 | Keynote and PostersCAIN Posters / CAIN Research and Experience Papers at Pequeno Auditório Chair(s): Jan Bosch Chalmers University of Technology, Henry Muccini University of L'Aquila, Italy | ||
09:00 3mTalk | A Domain Specific Language for Specification of Risk-oriented Object Detection Requirements CAIN Posters | ||
09:03 3mTalk | AI Security Continuum: Concept and Challenges CAIN Posters | ||
09:06 3mTalk | A Roadmap for Enriching Jupyter Notebooks Documentation with Kaggle Data CAIN Posters Mojtaba Mostafavi Department of Computer Engineering of Sharif University of Technology, Hamed Jahantigh Department of Computer Engineering of Sharif University of Technology, Alireza Asadi Department of Computer Engineering of Sharif University of Technology, Sepehr Kianian Department of Computer Engineering of Sharif University of Technology, Ashkan Khademian Department of Computer Engineering of Sharif University of Technology, Abbas Heydarnoori Bowling Green State University | ||
09:09 3mTalk | Automating Patch Set Generation from Code Reviews Using Large Language Models CAIN Posters Md Tajmilur Rahman Gannon University | ||
09:12 3mTalk | Data Selection Driven by Item Difficulty: On Investigating Data Efficient Practice for Hyperparameter Search CAIN Posters Gustavo Rodrigues dos Reis NAVER LABS Europe/LIG - UGA, Adrian Mos NAVER LABS Europe, Mario Cortes Cornax LIG - UGA, Cyril Labbé LIG - UGA | ||
09:15 3mTalk | Beyond Syntax: Unleashing the Power of Computational Notebooks Code Metrics in Documentation Generation CAIN Posters Mojtaba Mostafavi Department of Computer Engineering of Sharif University of Technology, Ashkan Khademian Department of Computer Engineering of Sharif University of Technology, Sepehr Kianian Department of Computer Engineering of Sharif University of Technology, Alireza Asadi Department of Computer Engineering of Sharif University of Technology, Hamed Jahantigh Department of Computer Engineering of Sharif University of Technology, Abbas Heydarnoori Bowling Green State University | ||
09:18 3mTalk | Can causality accelerate experimentation in software systems? CAIN Posters Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, Han-Bo Li Department of Computer Science and Technology, University of Cambridge, Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge | ||
09:21 3mTalk | Custom Developer GPT for Ethical AI Solutions CAIN Posters Lauren Olson Vrije Universiteit Amsterdam Pre-print | ||
09:24 3mTalk | Evaluation of The Generality of Multi-view Modeling Framework for ML Systems CAIN Posters Jati H. Husen Waseda University, Japan, Jomphon Runpakprakun Waseda University, Japan, Sun Chang Waseda University, Japan, Hironori Washizaki Waseda University, Hnin Thandar Tun Waseda University, Japan, Nobukazu Yoshioka Waseda University, Japan, Yoshiaki Fukazawa Waseda University | ||
09:27 3mTalk | Prompt Smells: An Omen for Undesirable Generative AI Outputs CAIN Posters Krishna Ronanki University Of Gothenburg, Beatriz Cabrero-Daniel University of Gothenburg, Christian Berger Chalmers University of Technology, Sweden | ||
09:30 3mTalk | Taxonomy of Generative AI Applications for Risk Assessment CAIN Posters Hiroshi Tanaka Fujitsu Limited, Tokyo, Japan, Masaru Ide Fujitsu Limited, Jun Yajima Fujitsu Limited, Sachiko Onodera Fujitsu Limited, Kazuki Munakata Fujitsu Limited, Tokyo, Japan, Nobukazu Yoshioka Waseda University, Japan | ||
09:35 55mKeynote | Keynote by Christian Kästner - From Models to Systems: On the Role of Software Engineering for Machine Learning CAIN Research and Experience Papers Christian Kästner Carnegie Mellon University |
09:00 - 10:30 | Opening + Awards + Keynote / ICPC Keynotes at Sophia de Mello Breyner Andresen Chair(s): Igor Steinmacher Northern Arizona University, Mario Linares-Vasquez Universidad de los Andes, Olga Baysal Carleton University, Kevin Moran University of Central Florida | ||
09:00 15mTalk | Opening SessionICPCICPC Opening Session ICPC Opening | ||
09:15 15mAwards | ICPC 2024 AwardsICPC AwardsICPC ICPC Opening | ||
09:30 60mTalk | Keynote 1: Program Comprehension in the Era of Large Language Models: Achievements and ChallengesICPCICPC Keynote ICPC Keynotes Gabriele Bavota Software Institute @ Università della Svizzera Italiana |
09:00 - 10:30 | Technical papers and networkingTechDebt Plenary / TechDebt Technical papers at Vianna da Motta Chair(s): Marek Stochel Motorola Solutions | ||
09:00 10mResearch paper | Debt Stories: Capturing Social and Technical Debt in the Industry TechDebt Technical papers Nicolas Riquet University of Namur, Xavier Devroey University of Namur, Benoît Vanderose University of Namur DOI Pre-print | ||
09:10 5mLive Q&A | Q&A TechDebt Technical papers | ||
09:15 5mResearch paper | Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case TechDebt Technical papers Mikel Robredo University of Oulu, Nyyti Saarimäki Tampere University, Rafael Peñaloza , Davide Taibi University of Oulu and Tampere University , Valentina Lenarduzzi University of Oulu | ||
09:20 5mLive Q&A | Q&A TechDebt Technical papers | ||
09:25 5mTalk | A Design of an Empirical Survey to Investigate Technical Debt in Blockchain Based Projects (talk and poster only) TechDebt Technical papers P: Andrej Katin , P: Nebojša Taušan INFORA Research Group doo, P: Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad, P: Miroslav Stefanović University of Novi Sad, P: Sonja Ristić University of Novi Sad | ||
09:30 5mLive Q&A | Q&A TechDebt Technical papers | ||
09:35 20mTalk | Technical Debt Management (invited talk) TechDebt Plenary | ||
09:55 5mLive Q&A | Q&A (invited talk) TechDebt Plenary | ||
10:00 30mPoster | Posters and networking TechDebt Plenary S: Tim Menzies North Carolina State University, S: Daniel Feitosa University of Groningen, P: Markus Borg CodeScene, P: Mikel Robredo University of Oulu, P: Nyyti Saarimäki Tampere University, P: Rafael Peñaloza , P: Davide Taibi University of Oulu and Tampere University , P: Valentina Lenarduzzi University of Oulu, P: Andrej Katin , P: Nebojša Taušan INFORA Research Group doo, P: Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad, P: Miroslav Stefanović University of Novi Sad, P: Sonja Ristić University of Novi Sad, S: Joost Visser Leiden University |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
10:30 - 11:00 | Coffee for MSR newcomersMSR Social Events at Open Space (reserved area) Chair(s): Federica Sarro University College London, Alexander Serebrenik Eindhoven University of Technology | ||
10:30 30mCoffee break | Coffee for MSR newcomers MSR Social Events |
11:00 - 12:30 | Ecosystems, Reuse and APIs & TutorialsMSR Data and Tool Showcase Track / MSR Technical Papers / MSR Tutorials at Almada Negreiros Chair(s): Mahmoud Alfadel University of Waterloo, Ayushi Rastogi University of Groningen, The Netherlands | ||
11:00 12mTalk | Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems MSR Technical Papers Gwenyth Lincroft Northeastern University, Minsung Cho Northeastern University, Mahsa Bazzaz Northeastern University, Katherine Hough Northeastern University, Jonathan Bell Northeastern University Pre-print Media Attached | ||
11:12 12mTalk | Boosting API Misuse Detection via Integrating API Constraints from Multiple Sources MSR Technical Papers Can Li Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Zhuhang Li Nanjing University of Aeronautics and Astronautics, Tianyue Sun Nanjing University of Aeronautics and Astronautics | ||
11:24 6mTalk | Availability and Usage of Platform-Specific APIs: A First Empirical Study MSR Technical Papers Pre-print Media Attached File Attached | ||
11:30 4mTalk | AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependency Analysis MSR Data and Tool Showcase Track Jordan Samhi CISPA Helmholtz Center for Information Security, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg | ||
11:34 4mTalk | Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph MSR Data and Tool Showcase Track Damien Jaime Sorbonne Université - Lip6 - SAP, Joyce El Haddad Paris Dauphine-PSL Université, CNRS, LAMSADE, Pascal Poizat Université Paris Nanterre & LIP6 Pre-print File Attached | ||
11:38 4mTalk | Dataset: Copy-based Reuse in Open Source Software MSR Data and Tool Showcase Track Mahmoud Jahanshahi Research Assistant, University of Tennessee Knoxville, Audris Mockus The University of Tennessee & Vilnius University Pre-print | ||
11:45 45mTalk | Mining Our Way Back to Incremental Builds for DevOps Pipelines MSR Tutorials Shane McIntosh University of Waterloo Pre-print |
11:00 - 12:30 | Defects, Bugs and IssuesMSR Technical Papers / MSR Awards / MSR Social Events / MSR Tutorials / MSR Data and Tool Showcase Track / MSR Mining Challenge / MSR Registered Reports / MSR Industry Track / MSR MIP Award / MSR Vision and Reflection / MSR Keynotes at Grande Auditório Chair(s): Wesley Assunção North Carolina State University | ||
11:00 12mTalk | Enhancing Performance Bug Prediction Using Performance Code Metrics MSR Technical Papers Guoliang Zhao Computer Science of Queen's University, Stefanos Georgio , Safwat Hassan University of Toronto, Canada, Ying Zou Queen's University, Kingston, Ontario, Derek Truong IBM Canada, Toby Corbin IBM UK | ||
11:12 12mTalk | CrashJS: A NodeJS Benchmark for Automated Crash Reproduction MSR Technical Papers Philip Oliver Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington | ||
11:24 12mTalk | An Empirical Study on Just-in-time Conformal Defect Prediction MSR Technical Papers Xhulja Shahini paluno - University of Duisburg-Essen, Andreas Metzger University of Duisburg-Essen, Klaus Pohl | ||
11:36 12mTalk | Fine-Grained Just-In-Time Defect Prediction at the Block Level in Infrastructure-as-Code (IaC) MSR Technical Papers Mahi Begoug , Moataz Chouchen ETS, Ali Ouni ETS Montreal, University of Quebec, Eman Abdullah AlOmar Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint | ||
11:48 4mTalk | TrickyBugs: A Dataset of Corner-case Bugs in Plausible Programs MSR Data and Tool Showcase Track Kaibo Liu Peking University, Yudong Han Peking University, Yiyang Liu Peking University, Zhenpeng Chen Nanyang Technological University, Jie M. Zhang King's College London, Federica Sarro University College London, Gang Huang Peking University, Yun Ma Peking University | ||
11:52 4mTalk | GitBugs-Java: A Reproducible Java Benchmark of Recent Bugs MSR Data and Tool Showcase Track André Silva KTH Royal Institute of Technology, Nuno Saavedra INESC-ID and IST, University of Lisbon, Martin Monperrus KTH Royal Institute of Technology | ||
11:56 4mTalk | A Dataset of Partial Program Fixes MSR Data and Tool Showcase Track Dirk Beyer LMU Munich, Lars Grunske Humboldt-Universität zu Berlin, Matthias Kettl LMU Munich, Marian Lingsch-Rosenfeld LMU Munich, Moeketsi Raselimo Humboldt-Universität zu Berlin | ||
12:00 4mTalk | BugsPHP: A dataset for Automated Program Repair in PHP MSR Data and Tool Showcase Track K.D. Pramod University of Moratuwa, Sri Lanka, W.T.N. De Silva University of Moratuwa, Sri Lanka, W.U.K. Thabrew University of Moratuwa, Sri Lanka, Ridwan Salihin Shariffdeen National University of Singapore, Sandareka Wickramanayake University of Moratuwa, Sri Lanka Pre-print | ||
12:04 4mTalk | AW4C: A Commit-Aware C Dataset for Actionable Warning Identification MSR Data and Tool Showcase Track Zhipeng Liu , Meng Yan Chongqing University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Dong Li , Xiaohong Zhang Chongqing University, Dan Yang Chongqing University | ||
12:08 5mTalk | Predicting the Impact of Crashes Across Release Channels MSR Industry Track | ||
12:13 5mTalk | Zero Shot Learning based Alternatives for Class Imbalanced Learning Problem in Enterprise Software Defect Analysis MSR Industry Track |
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 20mFull-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 20mFull-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 45mKeynote | Keynote: Current threats and challenges for securing OT/IoT systems EnCyCriS/SVM |
11:00 - 12:30 | Session 1: Test CoverageAST at Amália Rodrigues Chair(s): Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur | ||
11:00 20mFull-paper | Mutation Coverage is not Strongly Correlated with Mutation Coverage AST | ||
11:20 20mFull-paper | Running a Red Light: An Investigation into Why Software Engineers (Occasionally) Ignore Coverage Checks AST Alexander Sterk Delft University of Technology, Mairieli Wessel Radboud University, Eli Hooten Sentry.io, Andy Zaidman Delft University of Technology DOI Pre-print | ||
11:40 20mFull-paper | Coverage-based Strategies for the Automated Synthesis of Test Scenarios for Conversational Agents AST Pablo C Canizares Autonomous University of Madrid, Spain, Daniel Ávila Autonomous University of Madrid, Sara Perez-Soler Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print | ||
12:00 20mFull-paper | WallMauer: Robust Code Coverage Instrumentation for Android Apps AST Michael Auer University of Passau, Iván Arcuschin Moreno University of Buenos Aires, Argentina, Gordon Fraser University of Passau |
11:00 - 12:30 | |||
11:00 22mFull-paper | A Study on the Battery Usage of Deep Learning Frameworks on iOS DevicesFull Paper MOBILESoft Research Track Vitor Jacques Universidade Federal de Pernambuco, Negar Alizadeh Universiteit Utrecht, Fernando Castor University of Twente and Federal University of Pernambuco, Vitor Jacques Universidade Federal de Pernambuco | ||
11:22 22mFull-paper | An Empirical Study on the Impact of CSS Prefixes on the Energy Consumption and Performance of Mobile Web AppsFull Paper MOBILESoft Research Track Andrei Bogdan Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam | ||
11:45 22mFull-paper | An Empirical Evaluation of the Energy Consumption of Using Web Push APIs in Mobile Web Apps - The Case of TelegramFull Paper MOBILESoft Research Track Yu Chen Vrije Universiteit Amsterdam, The Netherlands, Jinhai Liao , Shutong Cai Vrije Universiteit Amsterdam, The Netherlands, Yiming Zhao Vrije Universiteit Amsterdam, The Netherlands, Yichen Tong Vrije Universiteit Amsterdam, The Netherlands, Ishas Kulkarni Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam | ||
12:07 22mFull-paper | How have iOS Development Technologies Changed over Time? A Study in Open-SourceFull Paper MOBILESoft Research Track Luciano Baresi Politecnico di Milano, Massimiliano Di Penta University of Sannio, Italy, Giovanni Quattrocchi Politecnico di Milano, Damian Andrew Tamburri Jheronimus Academy of Data Science |
11:00 - 12:30 | Session 2RoSE at Cottinelli Telmo Chair(s): Andreas Angerer XITASO GmbH IT & Software Solutions Scenarios for Trust Management in Swarm Robotics. Daniel Vojnar, Adela Bierska and Barbora Buhnova RoMaViD: Learning Robotic Manipulation from Video Demonstrations. Abhinav Upadhyay, Alpana Dubey and Shubhashis Sengupta Systematic Testing of a ROS Interface Specification Backend. Johannes Mey, Ariel Podlubne, René Schöne, Paul Gottschaldt, Diana Goehringer and Uwe Assmann Contextual visualizations for debugging collaborative robots. Emil Stubbe Kolvig-Raun, Miguel Campusano and Thor Malmby Jørgin | ||
11:00 - 12:30 | Late Morning SessionInteNSE at Daciano da Costa Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso | ||
11:00 70mKeynote | Assured LLM-Based Software Engineering InteNSE Mark Harman Meta Platforms, Inc. and UCL | ||
12:10 20mPaper | An Exploratory Study on How Non-Determinism in Large Language Models Affects Log Parsing InteNSE Merve Astekin Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School |
11:00 - 12:30 | |||
11:00 30mTalk | A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification FormaliSE Louis Gauthier Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List | ||
11:30 30mTalk | Formally Verified Interval Arithmetic and Its Application to Program Verification FormaliSE Achim D. Brucker University of Exeter, Teddy Cameron-Burke University of Exeter, Amy Stell University of Exeter | ||
12:00 30mTalk | Towards Verifiable Multi-Agent Interaction Pattern Specification FormaliSE Alberto Tagliaferro Politecnico di Milano, Italy, Livia Lestingi DEIB, Politecnico di Milano, Matteo Rossi Politecnico di Milano |
11:00 - 12:30 | |||
11:00 90mPanel | SBFT vs Generative AI SBFT Caroline Lemieux University of British Columbia, Aldeida Aleti Monash University, Andreas Zeller CISPA Helmholtz Center for Information Security, Jie M. Zhang King's College London, Annibale Panichella Delft University of Technology, Paolo Arcaini National Institute of Informatics
|
11:00 - 12:30 | Design Exploration, EducationDesigning at Lopes Graça Chair(s): Andre van der Hoek University of California, Irvine | ||
11:00 10mTalk | Teaching Software Architecture Design - Building Intuition Designing | ||
11:10 10mTalk | Developing and Applying an Essence-based Description of the Attribute-Driven Design Method Designing Stefan Malich Dr. Stefan Malich | Architectural Change Management, Humberto Cervantes UAM, Rick Kazman University of Hawai‘i at Mānoa | ||
11:20 10mTalk | Investing in Software Design Designing | ||
11:30 10mTalk | Software Engineering Education: Towards Ethical, Reliable, and Beautiful Software Designing Aikya Inuganti University of Maryland Baltimore County, Madhuri Goyal University of Maryland Baltimore County, Mohammad Samarah University of Maryland Baltimore County | ||
11:40 50mOther | Discussion: Design exploration and education Designing |
11:00 - 12:30 | Session 2: UncertaintySEAMS Research Track at Luis de Freitas Branco Chair(s): Ivana Dusparic Trinity College Dublin, Ireland | ||
11:00 25mTalk | Formal Synthesis of Uncertainty Reduction ControllersFULL SEAMS Research Track Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin | ||
11:25 25mTalk | Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL SEAMS Research Track Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga | ||
11:50 25mTalk | Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL SEAMS Research Track Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
12:15 15mTalk | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT SEAMS Research Track Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York |
11:00 - 12:30 | State Merging & PostersKLEE at Maria Helena Vieira da Silva Chair(s): Alessandro Orso Georgia Institute of Technology | ||
11:00 22mTalk | State Merging for Concolic Testing of Event-driven Applications KLEE | ||
11:22 22mTalk | State Merging with Quantifiers in Symbolic Execution KLEE P: David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University, Vaibhav Sharma Amazon DOI | ||
11:50 5mPoster | FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers KLEE P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology | ||
11:55 5mPoster | Input Grammar Oriented Symbolic Execution KLEE Ke Ma , Yunlai Luo National University of Defense Technology, P: Weijiang Hong National University of Defense Technology, Changsha, China, Zhenbang Chen School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Ji Wang School of Computer, National University of Defense Technology, China | ||
12:00 5mPoster | Mixed Fixed-point and Floating-point Symbolic Execution KLEE P: Thom Hughes Imperial College London, Daniel Schemmel Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London | ||
12:05 5mPoster | SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines KLEE Golla Monika Rani , P: Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei | ||
12:10 5mPoster | Towards Complete Fuzzing with KLEE KLEE Kanika Gupta National Institute of Technology, Warangal, P: Sangharatna Godboley National Institute of Technology Warangal | ||
12:15 5mPoster | TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation KLEE P: Arpita Dutta National University of Singapore, Rasool Maghareh Huawei, Joxan Jaffar National University of Singapore | ||
12:20 5mPoster | Exploring Complexity Estimation with Symbolic Execution and Large Language Models KLEE Adrians Skapars University of Manchester, Youcheng Sun The University of Manchester, Yannic Noller Singapore University of Technology and Design, P: Corina S. Păsăreanu |
11:00 - 12:30 | Doctoral Symposium and Energy-Aware AI EngineeringCAIN Doctoral Symposium / CAIN Research and Experience Papers at Pequeno Auditório Chair(s): Justus Bogner Vrije Universiteit Amsterdam, Silverio Martínez-Fernández UPC-BarcelonaTech | ||
11:00 6mTalk | Software Design Decisions for Greener Machine Learning-based Systems CAIN Doctoral Symposium Santiago del Rey Universitat Politècnica de Catalunya (UPC) | ||
11:06 6mTalk | Energy-Efficient Development of ML-Enabled Systems: A Data-Centric Approach CAIN Doctoral Symposium | ||
11:12 6mTalk | Optimizing Data Analytics Workflows through User-driven Experimentation CAIN Doctoral Symposium Keerthiga Rajenthiram Vrije Universiteit Amsterdam | ||
11:18 6mTalk | Component-based Approach to Software Engineering of Machine Learning-enabled Systems CAIN Doctoral Symposium Vladislav Indykov Chalmers | University of Gothenburg | ||
11:24 6mTalk | Threat Modeling of ML-intensive Systems: Research Proposal CAIN Doctoral Symposium Felix Viktor Jedrzejewski Blekinge Institute of Technology | ||
11:30 6mTalk | Continuous Quality Assurance ML Pipelines under the AI Act CAIN Doctoral Symposium Matthias Wagner Lund University | ||
11:36 10mTalk | Green Runner: A tool for efficient deep learning component selection CAIN Research and Experience Papers Jai Kannan Applied Artificial Intelligence Institute, Deakin University, Scott Barnett Applied Artificial Intelligence Institute, Deakin University, Anj Simmons , Taylan Selvi Applied Artificial Intelligence Institute, Deakin University, Luís Cruz Delft University of Technology | ||
11:46 15mTalk | Engineering Carbon Emission-aware Machine Learning Pipelines CAIN Research and Experience Papers | ||
12:01 10mTalk | Identifying architectural design decisions for achieving green ML serving CAIN Research and Experience Papers Francisco Durán Universitat Politècnica De Catalunya - Barcelona Tech, Silverio Martínez-Fernández UPC-BarcelonaTech, Matias Martinez Universitat Politècnica de Catalunya (UPC), Patricia Lago Vrije Universiteit Amsterdam Pre-print | ||
12:11 10mTalk | Green AI: a Preliminary Empirical Study on Energy Consumption in DL Models Across Different Runtime Infrastructures CAIN Research and Experience Papers Negar Alizadeh Universiteit Utrecht, Fernando Castor University of Twente and Federal University of Pernambuco | ||
12:21 9mLive Q&A | Energy: Q&A Session CAIN Research and Experience Papers |
11:00 - 12:30 | Keynote and closing sessionTechDebt Plenary at Vianna da Motta Chair(s): Zadia Codabux University of Saskatchewan, Canada, Rodrigo Spinola Virginia Commonwealth University | ||
11:00 60mKeynote | Keynote 2: Technical Debt in the Era of Artificial Intelligence: A TechDebt’s Offer AI Can’t Refuse TechDebt Plenary | ||
12:00 15mKeynote | Keynote Q&A TechDebt Plenary S: Zadia Codabux University of Saskatchewan, Canada, S: Rodrigo Spinola Virginia Commonwealth University | ||
12:15 15mDay closing | Awards and conference closing TechDebt Plenary P: Zadia Codabux University of Saskatchewan, Canada, P: Rodrigo Spinola Virginia Commonwealth University, G: Matthias Galster University of Canterbury |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | Mining ChallengeMSR Mining Challenge at Almada Negreiros Chair(s): Preetha Chatterjee Drexel University, USA, Fabio Palomba University of Salerno | ||
14:00 5mTalk | ChatGPT Chats Decoded: Uncovering Prompt Patterns for Superior Solutions in Software Development Lifecycle MSR Mining Challenge Liangxuan Wu Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Tianming Liu Monash Univerisity, Haoyu Wang Huazhong University of Science and Technology | ||
14:05 5mTalk | Write me this Code: An Analysis of ChatGPT Quality for Producing Source Code MSR Mining Challenge Konstantinos Moratis Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki, Themistoklis Diamantopoulos Electrical and Computer Engineering Dept, Aristotle University of Thessaloniki, Dimitrios-Nikitas Nastos Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki, Andreas Symeonidis Aristotle University of Thessaloniki Pre-print | ||
14:10 5mTalk | Quality Assessment of ChatGPT Generated Code and their Use by Developers MSR Mining Challenge Mohammed Latif Siddiq University of Notre Dame, Lindsay Roney University of Notre Dame, Jiahao Zhang , Joanna C. S. Santos University of Notre Dame Pre-print Media Attached File Attached | ||
14:15 5mTalk | Analyzing Developer Use of ChatGPT Generated Code in Open Source GitHub Projects MSR Mining Challenge Balreet Grewal University of Alberta, Wentao Lu University of Alberta, Sarah Nadi New York University Abu Dhabi, University of Alberta, Cor-Paul Bezemer University of Alberta Pre-print | ||
14:20 5mTalk | How I Learned to Stop Worrying and Love ChatGPT MSR Mining Challenge Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Krzysztof Stencel University of Warsaw Pre-print | ||
14:25 5mTalk | Can ChatGPT Support Developers? An Empirical Evaluation of Large Language Models for Code Generation. MSR Mining Challenge Kailun Jin York University, Chung-Yu Wang York University, Hung Viet Pham York University, Hadi Hemmati York University Pre-print | ||
14:30 5mTalk | The role of library versions in Developer-ChatGPT conversations MSR Mining Challenge Pre-print | ||
14:35 5mTalk | AI Writes, We Analyze: The ChatGPT Python Code Saga MSR Mining Challenge Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University, Minhaz F. Zibran Idaho State University, Md Rakibul Islam Lamar University DOI Pre-print | ||
14:40 5mTalk | ChatGPT in Action: Analyzing Its Use in Software Development MSR Mining Challenge Arifa Islam Champa Idaho State University, Md Fazle Rabbi Idaho State University, Costain Nachuma Idaho State University, Minhaz F. Zibran Idaho State University DOI Pre-print | ||
14:45 5mTalk | Chatting with AI: Deciphering Developer Conversations with ChatGPT MSR Mining Challenge Suad Mohamed Belmont University, Abdullah Parvin Belmont University, Esteban Parra Belmont University | ||
14:50 5mTalk | Does Generative AI Generate Smells Related to Container Orchestration?: An Exploratory Study with Kubernetes Manifests MSR Mining Challenge Yue Zhang Auburn University, Rachel Meredith Auburn University, Wilson Reaves Auburn University, Julia Coriolano Federal University of Pernambuco, Muhammad Ali Babar School of Computer Science, The University of Adelaide, Akond Rahman Auburn University Pre-print | ||
14:55 5mTalk | On the Taxonomy of Developers' Discussion Topics with ChatGPT MSR Mining Challenge | ||
15:00 5mTalk | How to refactor this code? An exploratory study on developer-ChatGPT refactoring conversations MSR Mining Challenge Eman Abdullah AlOmar Stevens Institute of Technology, AnushKrishna Venkatakrishnan Rochester Institute of Technology, USA, Mohamed Wiem Mkaouer University of Michigan - Flint, Christian Newman , Ali Ouni ETS Montreal, University of Quebec | ||
15:05 5mTalk | Analyzing Developer-ChatGPT Conversations for Software Refactoring: An Exploratory Study MSR Mining Challenge Omkar Sandip Chavan Rochester Institute of Technology, Divya Dilip Hinge Rochester Institute of Technology, Soham Sanjay Deo Rochester Institute of Technology, Yaxuan (Olivia) Wang Rochester Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint | ||
15:10 5mTalk | How Do Software Developers Use ChatGPT? An Exploratory Study on GitHub Pull Requests MSR Mining Challenge Moataz Chouchen ETS, Narjes Bessghaier ETS Montreal, University of Quebec, Mahi Begoug , Ali Ouni ETS Montreal, University of Quebec, Eman Abdullah AlOmar Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint | ||
15:15 5mTalk | Investigating the Utility of ChatGPT in the Issue Tracking System: An Exploratory Study MSR Mining Challenge Joy Krishan Das University of Saskatchewan, Saikat Mondal University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada Pre-print | ||
15:20 5mTalk | Enhancing User Interaction in ChatGPT: Characterizing and Consolidating Multiple Prompts for Issue Resolution MSR Mining Challenge Saikat Mondal University of Saskatchewan, Suborno Deb Bappon Department of Computer Science, University of Saskatchewan, Canada, Chanchal K. Roy University of Saskatchewan, Canada Pre-print |
14:00 - 15:30 | Software QualityMSR Technical Papers / MSR Registered Reports / MSR Data and Tool Showcase Track at Grande Auditório Chair(s): Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada | ||
14:00 12mTalk | Not all Dockerfile Smells are the Same: An Empirical Evaluation of Hadolint Writing Practices by Experts MSR Technical Papers Giovanni Rosa University of Molise, Simone Scalabrino University of Molise, Gregorio Robles Universidad Rey Juan Carlos, Rocco Oliveto University of Molise | ||
14:12 12mTalk | Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models MSR Technical Papers Anamaria-Roberta Hartl Johannes Kepler University Linz, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Atif Mashkoor Johannes Kepler University Linz, Alexander Egyed Johannes Kepler University Linz DOI Authorizer link Pre-print | ||
14:24 12mTalk | On the Executability of R Markdown Files MSR Technical Papers Md Anaytul Islam Lakehead University, Muhammad Asaduzzman University of Windsor, Shaowei Wang Department of Computer Science, University of Manitoba, Canada | ||
14:36 12mTalk | APIstic: A Large Collection of OpenAPI Metrics MSR Technical Papers souhaila serbout Software Institute @ USI, Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano | ||
14:48 6mTalk | Improving Automated Code Reviews: Learning From Experience MSR Technical Papers Hong Yi Lin The University of Melbourne, Patanamon Thongtanunam University of Melbourne, Christoph Treude Singapore Management University, Wachiraphan (Ping) Charoenwet The University of Melbourne | ||
14:55 4mTalk | Multi-faceted Code Smell Detection at Scale using DesigniteJava 2.0 MSR Data and Tool Showcase Track Tushar Sharma Dalhousie University Pre-print | ||
14:59 4mTalk | SATDAUG - A Balanced and Augmented Dataset for Detecting Self-Admitted Technical Debt MSR Data and Tool Showcase Track Edi Sutoyo Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Andrea Capiluppi University of Groningen | ||
15:03 4mTalk | Curated Email-Based Code Reviews Datasets MSR Data and Tool Showcase Track Mingzhao Liang The University of Melbourne, Wachiraphan (Ping) Charoenwet The University of Melbourne, Patanamon Thongtanunam University of Melbourne | ||
15:07 4mTalk | TestDossier: A Dataset of Tested Values Automatically Extracted from Test Execution MSR Data and Tool Showcase Track Andre Hora UFMG Pre-print Media Attached | ||
15:11 4mTalk | Greenlight: Highlighting TensorFlow APIs Energy Footprint MSR Data and Tool Showcase Track Saurabhsingh Rajput Dalhousie University, Maria Kechagia University College London, Federica Sarro University College London, Tushar Sharma Dalhousie University Pre-print | ||
15:15 5mTalk | When Code Smells Meet ML: On the Lifecycle of ML-specific Code Smells in ML-enabled Systems MSR Registered Reports Gilberto Recupito University of Salerno, Giammaria Giordano University of Salerno, Filomena Ferrucci University of Salerno, Dario Di Nucci University of Salerno, Fabio Palomba University of Salerno | ||
15:20 5mTalk | Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications MSR Registered Reports Simon Schneider Hamburg University of Technology, Alexander Bakhtin University of Oulu, Xiaozhou Li University of Oulu, Jacopo Soldani University of Pisa, Italy, Antonio Brogi Università di Pisa, Tomas Cerny University of Arizona, Riccardo Scandariato Hamburg University of Technology, Davide Taibi University of Oulu and Tampere University |
14:00 - 15:30 | Training, knowledge and Industrial challengesEnCyCriS/SVM at Amadeo de Souza-Cardoso Chair(s): John Eidar Simensen IFE | ||
14:00 20mFull-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 20mFull-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 20mFull-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 20mFull-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 |
14:00 - 15:30 | Session 2: Test GenerationAST at Amália Rodrigues Chair(s): Sarmad Bashir RISE Research Institutes of Sweden | ||
14:00 20mFull-paper | Using GitHub Copilot for Test Generation in Python: An Empirical Study AST Khalid El Haji Delft University of Technology, Carolin Brandt Delft University of Technology, Andy Zaidman Delft University of Technology DOI Pre-print | ||
14:20 20mFull-paper | Grammar-Based Action Selection Rules for Scriptless Testing AST Lianne V. Hufkens Open Universiteit, Fernando Pastor Ricós Universitat Politècnica de València, Beatriz Marín Universitat Politècnica de València, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit | ||
14:40 20mFull-paper | Fences: Systematic Sample Generation for JSON Schemas using Boolean Algebra and Flow Graphs AST Björn Otto Institute for Automation and Communication, OVGU Magdeburg, Tobias Kleinert Chair of Information and Automation Systems for Process and Material Technology, RWTH Aachen | ||
15:00 10mPoster | Generating Software Tests for Mobile Applications Using Fine-Tuned Large Language Models AST Jacob Hoffmann Institute AIFB, Karlsruhe Institue of Technology (KIT), Demian Frister Institute of Applied Informatics and Formal Description Methods (AIFB) Karlsruhe Institue of Technology (KIT) DOI |
14:00 - 15:30 | |||
14:00 22mFull-paper | Detection of Inconsistencies between Guidance Pages and Actual Data Collection of Third-party SDKs in Android AppsFull Paper MOBILESoft Research Track Hiroki Inayoshi Okayama University, Shohei Kakei Nagoya Institute of Technology, Japan, Shoichi Saito Nagoya Institute of Technology, Japan DOI Pre-print | ||
14:22 22mFull-paper | Generating Rate Features for Mobile ApplicationsFull Paper MOBILESoft Research Track | ||
14:45 15mShort-paper | Toward an Android Static Analysis Approach for Data Protection MOBILESoft Research Forum Track Mugdha Khedkar Heinz Nixdorf Institute at Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print | ||
15:00 15mShort-paper | Are Your Android App Analyzers Still Relevant? MOBILESoft Research Forum Track chenhaonan , Daihang Chen Beihang University, China, Yonghui Liu Monash University, Xiaoyu Sun Australian National University, Australia, Li Li Beihang University | ||
15:15 15mShort-paper | Towards Benchmarking the Coverage of Automated Testing Tools in Android against Manual Testing MOBILESoft Research Forum Track Ferdian Thung Singapore Management University, Ivana Clairine Irsan Singapore Management University, Jiakun Liu Singapore Management University, David Lo Singapore Management University |
14:00 - 15:30 | Session 3RoSE at Cottinelli Telmo Chair(s): Andreas Angerer XITASO GmbH IT & Software Solutions A Model-Based Methodology for Automated Verification of ROS 2 Systems. Lukas Dust, Mikael Ekström, Rong Gu, Saad Mubeen and Cristina Seceleanu An Edge Computing Sizing Tool for Robotic Workloads. Ahmad R. Hamid and Mikkel B. Kjærgaard Interactive discussion - part 1. All participants | ||
14:00 - 15:30 | Afternoon SessionInteNSE at Daciano da Costa Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso | ||
13:30 2hTutorial | Tutorial on Neuro-symbolic Programming InteNSE |
14:00 - 15:30 | Machine learning and formal methodsFormaliSE at Eugénio de Andrade Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" | ||
14:00 30mTalk | Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets FormaliSE Preston K. Robinette Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Serena Serbinowska Vanderbilt University, Kevin Leach Vanderbilt University, Taylor T Johnson Vanderbilt University Pre-print | ||
14:30 30mTalk | Leveraging Large Language Models to Boost Dafny’s Developers Productivity FormaliSE Álvaro F. Silva Independent Researcher, Alexandra Mendes University of Porto and HASLab, INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon | ||
15:00 10mDay closing | Closing FormaliSE |
14:00 - 15:30 | Emerging technologies and their impact on Software EngineeringCHASE Full Papers at Fernando Pessoa Chair(s): Adriana Meza Soria MIT-IBM Watson AI Lab | ||
14:00 20mFull-paper | Exploring potential implications of intelligent tools for human aspects of software engineeringFull Paper CHASE Full Papers Jorge Melegati Free University of Bozen-Bolzano, Nicolas Nascimento , Rafael Chanin PUCRS, Afonso Sales PUCRS, Igor Wiese Federal University of Technology DOI Pre-print | ||
14:20 20mFull-paper | Charting a Path to Efficient Onboarding: The Role of Software VisualizationFull Paper CHASE Full Papers Pre-print | ||
14:40 20mFull-paper | “You’re on a bicycle with a little motor”: Benefits and Challenges of Using AI Code AssistantsFull Paper CHASE Full Papers | ||
15:00 20mFull-paper | Understanding the building blocks of accountability in software engineeringFull Paper CHASE Full Papers Link to publication DOI Pre-print |
14:00 - 15:30 | Tutorial 2 + Tool Competition 2SBFT at Glicínia Quartin Chair(s): Matteo Biagiola Università della Svizzera italiana, Stefan Klikovits Johannes Kepler University, Linz, Vincenzo Riccio University of Udine | ||
14:00 60mTutorial | Getting Started with SynTest-Framework: A Hands-on Tutorial for Automatic Test Case Generation and Fuzzing SBFT Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology | ||
15:00 30mOther | CPS-ADS Tool Competition SBFT Matteo Biagiola Università della Svizzera italiana, Stefan Klikovits Johannes Kepler University, Linz |
14:00 - 15:30 | Tooling, Domain-specific DesignDesigning at Lopes Graça Chair(s): Michel Chaudron Eindhoven University of Technology, The Netherlands | ||
14:00 10mTalk | Executable Multi-Layered Software Models Designing Lukáš Radoský Comenius University, Faculty of Mathematics, Physics and Informatics, Mlynská dolina F1, Bratislava, 842 48, Slovakia, Ivan Polášek Comenius University, Faculty of Mathematics, Physics and Informatics, Mlynská dolina F1, Bratislava, 842 48, Slovakia | ||
14:10 10mTalk | From Requirements to Architecture: An AI-Based Journey to Semi-Automatically Generate Software Architectures Designing Tobias Eisenreich Technical University of Munich, Sandro Speth Institute of Software Engineering, University of Stuttgart, Stefan Wagner Technical University of Munich DOI Pre-print | ||
14:20 10mTalk | TAMVE: Properties of Design Technologies to Address Challenges to Software Design in the Era of Agility and Frameworks Designing Timothy Lethbridge University of Ottawa | ||
14:30 10mTalk | Co-Designing Resilient Socio-Technical Software Systems Designing Tamara Lopez The Open University, Helen Sharp The Open University, Michel Wermelinger The Open University | ||
14:40 10mTalk | Weighted Metrics for the Development of Energy Efficient Software Designing Déaglán Connolly Bree University College Dublin, Mel Ó Cinnéide University College Dublin & Lero, Ireland | ||
14:50 40mOther | Discussion: Tooling and domain-specific design Designing |
14:00 - 15:30 | Session 3: Unmanned Aerial Vehicles and LLMs SEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco Chair(s): Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute | ||
14:00 25mTalk | ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial SystemsFULL SEAMS Research Track Md Nafee Al Islam University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Innsbruck | ||
14:25 15mTalk | Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire TrackingSHORT SEAMS Research Track Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga | ||
14:40 15mTalk | Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable EnvironmentsARTIFACT SEAMS Artifact Track Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga | ||
14:55 15mTalk | Aloft: Self-Adaptive Drone Controller TestbedARTIFACT SEAMS Artifact Track Calum Imrie University of York, Rhys Howard University of Oxford, Divya Thuremella University of Oxford, Nawshin Mannan Proma University of York, Tejas Pandey University of York, Paulina Lewinska University of York, Ricardo Cannizzaro University of Oxford, Richard Hawkins University of York, Colin Paterson University of York, Lars Kunze University of Oxford, Victoria J. Hodge University of York | ||
15:10 15mTalk | Exploring the Potential of Large Language Models in Self-adaptive SystemsSHORT SEAMS Research Track Jialong Li Waseda University, Japan, Mingyue Zhang Southwest University, NIANYU LI ZGC Lab, China, Danny Weyns KU Leuven, Zhi Jin Peking University, Kenji Tei Waseda University |
14:00 - 15:30 | Grammars, Concurrency, Mocking and ConstraintsKLEE at Maria Helena Vieira da Silva Chair(s): Abhik Roychoudhury National University of Singapore | ||
14:00 22mTalk | Symbolic Grammar Mining KLEE P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
14:22 22mTalk | Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs KLEE Azalea Raad Imperial College London, P: Julien Vanegue Bloomberg, USA, Josh Berdine SkipLabs, Peter O'Hearn University College London, UK and Lacework, London, UK | ||
14:44 22mTalk | Automated Generation of Database Mocks with Symbolic Execution KLEE Cesar Cornejo University of Rio Cuarto and CONICET, Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, P: Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET | ||
15:06 22mTalk | Symbolic Execution Oriented Constraint Solving KLEE P: Zhenbang Chen School of Computer, National University of Defense Technology, China, Ziqi Shuai School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Zehua Chen College of Computer, National University of Defense Technology, Guofeng Zhang Hunan University, Jun Sun Singapore Management University, Wei Dong National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China |
14:00 - 15:30 | |||
14:00 15mTalk | A Combinatorial Testing Approach to Hyperparameter OptimizationDistinguished paper Award Candidate CAIN Research and Experience Papers Krishna Khadka The University of Texas at Arlington, Jaganmohan Chandrasekaran Virginia Tech, Jeff Yu Lei University of Texas at Arlington, Raghu Kacker National Institute of Standards and Technology, D. Richard Kuhn National Institute of Standards and Technology | ||
14:15 15mTalk | Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs CAIN Research and Experience Papers | ||
14:30 10mTalk | LLMs for Test Input Generation for Semantic Applications CAIN Research and Experience Papers Zafaryab Rasool Applied Artificial Intelligence Institute, Deakin University, Scott Barnett Applied Artificial Intelligence Institute, Deakin University, David Willie Applied Artificial Intelligence Institute, Deakin University, Stefanus Kurniawan Deakin University, Sherwin Balugo Applied Artificial Intelligence Institute, Deakin University, Srikanth Thudumu Deakin University, Mohamed Abdelrazek Deakin University, Australia | ||
14:40 10mTalk | (Why) Is My Prompt Getting Worse? Rethinking Regression Testing for Evolving LLM APIs CAIN Research and Experience Papers MA Wanqin The Hong Kong University of Science and Technology, Chenyang Yang Carnegie Mellon University, Christian Kästner Carnegie Mellon University | ||
14:50 10mTalk | Welcome Your New AI Teammate: On Safety Analysis by Leashing Large Language Models CAIN Research and Experience Papers Ali Nouri Volvo cars & Chalmers University of Technology, Beatriz Cabrero-Daniel University of Gothenburg, Fredrik Torner Volvo cars, Hakan Sivencrona Zenseact AB, Christian Berger Chalmers University of Technology, Sweden | ||
15:00 10mTalk | ML-On-Rails: Safeguarding Machine Learning Models in Software Systems – A Case Study CAIN Research and Experience Papers Hala Abdelkader Applied Artificial Intelligence Institute, Deakin University, Mohamed Abdelrazek Deakin University, Australia, Scott Barnett Applied Artificial Intelligence Institute, Deakin University, Jean-Guy Schneider Monash University, Priya Rani RMIT University, Rajesh Vasa Deakin University, Australia | ||
15:10 20mLive Q&A | Test - Q&A Session CAIN Research and Experience Papers |
14:00 - 15:30 | Code + Documentation GenerationICPC Research Track / / ICPC Early Research Achievements (ERA) / ICPC Replications and Negative Results (RENE) at Sophia de Mello Breyner Andresen Chair(s): Massimiliano Di Penta University of Sannio, Italy | ||
14:00 10mTalk | MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment GenerationICPCICPC Full paper ICPC Research Track Xinglu Pan Peking University, Chenxiao Liu Peking University, Yanzhen Zou Peking University, Tao Xie Peking University, Bing Xie Peking University Pre-print | ||
14:10 10mTalk | Compositional API Recommendation for Library-Oriented Code GenerationICPCICPC Full paper ICPC Research Track Zexiong Ma Peking University, Shengnan An Xi’an Jiaotong University, Bing Xie Peking University, Zeqi Lin Microsoft Research, China Pre-print | ||
14:20 10mTalk | On the Generalizability of Deep Learning-based Code Completion Across Programming Language VersionsICPCICPC Full paper ICPC Research Track Matteo Ciniselli Università della Svizzera Italiana, Alberto Martin-Lopez Software Institute - USI, Lugano, Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
14:30 10mTalk | ESGen: Commit Message Generation Based on Edit Sequence of Code ChangeICPCICPC Full paperVirtual-Talk ICPC Research Track Xiangping Chen Sun Yat-sen University, Yangzi Li SUN YAT-SEN UNIVERSITY, Zhicao Tang SUN YAT-SEN UNIVERSITY, Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Haojie Zhou School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou 510006, China, Mingdong Tang Guangdong University of Foreign Studies, Zibin Zheng Sun Yat-sen University | ||
14:40 10mTalk | Improving AST-Level Code Completion with Graph Retrieval and Multi-Field AttentionICPCICPC Full paperVirtual-Talk ICPC Research Track Yu Xia Central South University, Tian Liang Central South University, Wei-Huan Min Central South University, Li Kuang School of Computer Science and Engineering, Central South University | ||
14:50 10mTalk | Exploring and Improving Code Completion for Test CodeICPCICPC Full paper ICPC Research Track Tingwei Zhu Nanjing University, Zhongxin Liu Zhejiang University, Tongtong Xu Huawei, Ze Tang Software Institute, Nanjing University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Xin Xia Huawei Technologies | ||
15:00 10mTalk | Understanding the Impact of Branch Edit Features for the Automatic Prediction of Merge Conflict ResolutionsICPCICPC RENE Paper ICPC Replications and Negative Results (RENE) Waad riadh aldndni Virginia Tech, Francisco Servant ITIS Software, University of Malaga, Na Meng Virginia Tech | ||
15:10 4mTalk | Investigating the Efficacy of Large Language Models for Code Clone DetectionICPCICPC ERA Paper ICPC Early Research Achievements (ERA) Mohamad Khajezade University of British Columbia Okanagan, Jie JW Wu University of British Columbia (UBC), Fatemeh Hendijani Fard University of British Columbia, Gema Rodríguez-Pérez University of British Columbia (UBC), Mohamed S Shehata University of British Columbia | ||
15:14 16mTalk | Code + Documentation Generation: Panel with SpeakersICPC ICPC Discussion |
14:00 - 15:30 | |||
14:00 90mOther | Doctoral Symposium - 1 CAIN Doctoral Symposium |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering |
16:00 - 17:30 | Mobile AppsMSR Data and Tool Showcase Track / MSR Technical Papers at Almada Negreiros Chair(s): Dario Di Nucci University of Salerno | ||
16:00 12mTalk | Automating GUI-based Test Oracles for Mobile Apps MSR Technical Papers Kesina Baral CQSE America, Jack Johnson , Junayed Mahmud George Mason University, Sabiha Salma George Mason University, Mattia Fazzini University of Minnesota, Julia Rubin University of British Columbia, Jeff Offutt George Mason University, Kevin Moran University of Central Florida | ||
16:12 12mTalk | Global Prosperity or Local Monopoly? Understanding the Geography of App Popularity MSR Technical Papers Liu Wang Beijing University of Posts and Telecommunications, Conghui Zheng Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, Xiapu Luo The Hong Kong Polytechnic University, Gareth Tyson Queen Mary University of London, Yi Wang , Shangguang Wang Beijing University of Posts and Telecommunications | ||
16:24 12mTalk | GuiEvo: Automated Evolution of Mobile App UIs MSR Technical Papers Sabiha Salma George Mason University, S M Hasan Mansur George Mason University, Yule Zhang George Mason University, Kevin Moran University of Central Florida | ||
16:36 12mTalk | Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS and Android Apps for Cross-Platform Analyses MSR Technical Papers Magdalena Steinböck TU Wien, Jakob Bleier TU Wien, Mikka Rainer CISPA Helmholtz Center for Information Security, Tobias Urban Institute for Internet Security & secunet Security Networks AG, Christine Utz CISPA Helmholtz Center for Information Security, Martina Lindorfer TU Wien | ||
16:48 12mTalk | Keep Me Updated: An Empirical Study on Embedded Javascript Engines in Android Apps MSR Technical Papers Elliott Wen The University of Auckland, Jiaxiang Liu The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Giovanni Russello University of Auckland, Jens Dietrich Victoria University of Wellington | ||
17:00 12mTalk | Large Language Model vs. Stack Overflow in Addressing Android Permission Related Challenges MSR Technical Papers Sahrima Jannat Oishwee University of Saskatchewan, Natalia Stakhanova University of Saskatchewan, Zadia Codabux University of Saskatchewan, Canada | ||
17:12 4mTalk | DATAR: A Dataset for Tracking App Releases MSR Data and Tool Showcase Track Yasaman Abedini Sharif University of Technology, Mohammad Hadi Hajihosseini Sharif University of Technology, Abbas Heydarnoori Bowling Green State University | ||
17:16 4mTalk | AndroZoo: A Retrospective with a Glimpse into the Future MSR Data and Tool Showcase Track Marco Alecci University of Luxembourg, Pedro Jesús Ruiz Jiménez University of Luxembourg, Kevin Allix Independent Researcher, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg |
16:00 - 17:30 | Machine learning for Software EngineeringMSR Technical Papers at Grande Auditório Chair(s): Diego Costa Concordia University, Canada | ||
16:00 12mTalk | Whodunit: Classifying Code as Human Authored or GPT-4 Generated - A case study on CodeChef problems MSR Technical Papers Oseremen Joy Idialu University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Rungroj Maipradit University of Waterloo, Joanne M. Atlee University of Waterloo, Mei Nagappan University of Waterloo DOI Pre-print | ||
16:12 12mTalk | GIRT-Model: Automated Generation of Issue Report Templates MSR Technical Papers Nafiseh Nikehgbal Sharif University of Technology, Amir Hossein Kargaran LMU Munich, Abbas Heydarnoori Bowling Green State University DOI Pre-print | ||
16:24 12mTalk | MicroRec: Leveraging Large Language Models for Microservice Recommendation MSR Technical Papers Ahmed Saeed Alsayed University of Wollongong, Hoa Khanh Dam University of Wollongong, Chau Nguyen University of Wollongong | ||
16:36 12mTalk | PeaTMOSS: A Dataset and Initial Analysis of Pre-Trained Models in Open-Source Software MSR Technical Papers Wenxin Jiang Purdue University, Jerin Yasmin Queen's University, Canada, Jason Jones Purdue University, Nicholas Synovic Loyola University Chicago, Jiashen Kuo Purdue University, Nathaniel Bielanski Purdue University, Yuan Tian Queen's University, Kingston, Ontario, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory, James C. Davis Purdue University DOI Pre-print | ||
16:48 12mTalk | Data Augmentation for Supervised Code Translation Learning MSR Technical Papers Binger Chen Technische Universität Berlin, Jacek golebiowski Amazon AWS, Ziawasch Abedjan Leibniz Universität Hannover | ||
17:00 12mTalk | On the Effectiveness of Machine Learning-based Call-Graph Pruning: An Empirical Study MSR Technical Papers Amir Mir Delft University of Technology, Mehdi Keshani Delft University of Technology, Sebastian Proksch Delft University of Technology Pre-print | ||
17:12 12mTalk | Leveraging GPT-like LLMs to Automate Issue Labeling MSR Technical Papers Giuseppe Colavito University of Bari, Italy, Filippo Lanubile University of Bari, Nicole Novielli University of Bari, Luigi Quaranta University of Bari, Italy Pre-print |
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 20mFull-paper | Cybersecurity and medical devices: a bull in a china shop EnCyCriS/SVM | ||
16:20 60mMeeting | 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 10mDay closing | Workshop Closure EnCyCriS/SVM |
16:00 - 17:30 | |||
16:00 15mShort-paper | Dependency Management in iOS Development: A Developer Survey PerspectiveExtended Abstract MOBILESoft Research Track Ezequiel França dos Santos Universidade Europeia de Lisboa, UE, Portugal. DOI | ||
16:15 15mShort-paper | Experiences Developing a Computer Vision SDK for Mobile Apps MOBILESoft Research Forum Track Julian Harty Commercetest Limited DOI File Attached | ||
16:30 15mShort-paper | Towards Speedy Permission-Based Debloating for Android Apps MOBILESoft Research Forum Track Ferdian Thung Singapore Management University, Jiakun Liu Singapore Management University, Pattarakrit Rattanukul Mahidol University, Shahar Maoz Tel Aviv University, Eran Toch Tel Aviv University, Debin Gao Singapore Management University, David Lo Singapore Management University | ||
16:45 15mShort-paper | Assessing the environmental impact of mobile applications: a measure framework toward DevGreenOps MOBILESoft Research Forum Track Edouard Guegain Université de Lille | ||
17:00 15mShort-paper | CAREForMe: Contextual Multi-Armed Bandit Recommendation Framework for Mental HealthExtended Abstract MOBILESoft Research Track Sheng Yu University of Southern California, Narjes Nourzad University of Southern California, USA, Randye Semple University of Southern California, Yixue Zhao USC Information Sciences Institute, Emily Zhou University of Southern California, Bhaskar Krishnamachari University of Southern California Pre-print Media Attached | ||
17:15 15mShort-paper | Digital Wellbeing Redefined: Toward User-Centric Approach for Positive Social Media Engagement MOBILESoft Research Forum Track Yixue Zhao USC Information Sciences Institute, Tianyi Li Purdue University, USA, Michael Sobolev University of Southern California DOI Pre-print Media Attached |
16:00 - 17:30 | Session 4RoSE at Cottinelli Telmo Chair(s): Ivano Malavolta Vrije Universiteit Amsterdam Interactive discussion - part 2. All participants Final words and closing | ||
16:00 - 17:30 | Late Afternoon SessionInteNSE at Daciano da Costa Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso | ||
16:00 30mTalk | Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion InteNSE Shizhuo Zhang University of Illinois Urbana-Champaign Pre-print | ||
16:30 30mTalk | SWE-bench: Can Language Models Resolve Real-World GitHub Issues? InteNSE John Yang Princeton Pre-print | ||
17:00 30mDay closing | InteNSE 2024 Closing Remarks InteNSE Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign |
16:00 - 17:30 | Tool Competitions 3 + Awards + ClosingSBFT at Glicínia Quartin Chair(s): Christian Birchler Zurich University of Applied Sciences & University of Bern, Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Charith Munasinghe , Sebastiano Panichella Zurich University of Applied Sciences, Vincenzo Riccio University of Udine, Prasun Saurabh , Timothy Zimmermann | ||
16:00 30mOther | CPS-UAV Tool Competition SBFT Sebastiano Panichella Zurich University of Applied Sciences, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Prasun Saurabh , Timothy Zimmermann , Charith Munasinghe , Christian Birchler Zurich University of Applied Sciences & University of Bern | ||
16:30 60mDay closing | Award Ceremony and Closing SBFT Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Vincenzo Riccio University of Udine |
16:00 - 17:30 | |||
16:00 60mPanel | Panel discussion Designing Mary Shaw Carnegie Mellon University, Marian Petre School of Computing and Communications, The Open University, UK, Michel Chaudron Eindhoven University of Technology, The Netherlands, Rick Kazman University of Hawai‘i at Mānoa | ||
17:00 30mDay closing | Closing & future of Designing Designing |
16:00 - 17:30 | Binary Analysis & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Daniel Schemmel Imperial College London | ||
16:00 22mTalk | What’s Up from Below? An Overview of Recent Advances in BINSEC KLEE | ||
16:22 22mTalk | Symbolic Execution of Binary Code based on Formal ISA Semantics KLEE P: Sören Tempel University of Bremen, Tobias Brandt Independent, Christoph Lüth University of Bremen / DFKI GmbH, Rolf Drechsler University of Bremen / DFKI GmbH | ||
16:44 46mKeynote | Let's help symbolic execution SOAR! KLEE Tomasz Kuchta Samsung Electronics |
16:00 - 18:00 | System QualitiesCAIN Research and Experience Papers / CAIN Industry Talks at Pequeno Auditório Chair(s): Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge | ||
16:00 10mTalk | Modeling Resilience of Collaborative AI Systems CAIN Research and Experience Papers Diaeddin Rimawi Free University of Bozen-Bolzano, Antonio Liotta Free University of Bozen-Bolzano, Marco Todescato Fraunhofer Italia, Barbara Russo | ||
16:10 10mTalk | Seven Failure Points When Engineering a Retrieval Augmented Generation System CAIN Research and Experience Papers Scott Barnett Applied Artificial Intelligence Institute, Deakin University, Stefanus Kurniawan Deakin University, Srikanth Thudumu Deakin University, Zach Brannelly Deakin University, Mohamed Abdelrazek Deakin University, Australia | ||
16:20 15mTalk | POLARIS: A framework to guide the development of Trustworthy AI systems CAIN Research and Experience Papers Maria Teresa Baldassarre Department of Computer Science, University of Bari , Domenico Gigante SER&Practices and University of Bari, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Azzurra Ragone University of Bari | ||
16:35 15mTalk | Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory CAIN Research and Experience Papers A: Saeid Tizpaz-Niari University of Texas at El Paso, A: Sriram Sankaranarayanan University of Colorado, Boulder | ||
16:50 15mTalk | Is Your Anomaly Detector Ready for Change? Adapting AIOps Solutions to the Real World CAIN Research and Experience Papers Lorena Poenaru-Olaru TU Delft, Natalia Karpova TU Delft, Luís Cruz Delft University of Technology, Jan S. Rellermeyer Leibniz University Hannover, Arie van Deursen Delft University of Technology | ||
17:05 15mTalk | Novel Contract-based Runtime Explainability Framework for End-to-End Ensemble Machine Learning Serving CAIN Research and Experience Papers Minh-Tri Nguyen Aalto University, Hong-Linh Truong Aalto University, Tram Truong-Huu Singapore Institute of Technology | ||
17:20 10mIndustry talk | Trustworthy AI: Industry-Guided Tooling of the Methods CAIN Industry Talks Zakaria Chihani CEA, LIST, France | ||
17:30 15mLive Q&A | System Qualities: Q&A Session CAIN Research and Experience Papers | ||
17:45 15mDay closing | Closing CAIN Research and Experience Papers Jan Bosch Chalmers University of Technology |
16:00 - 18:00 | |||
16:00 2hOther | Doctoral Symposium - 2 CAIN Doctoral Symposium |
17:30 - 18:00 | |||
19:30 - 22:00 | |||
19:30 2h30mDinner | Social Event MSR Social Events |
Tue 16 AprDisplayed time zone: Lisbon change
09:00 - 10:30 | Development: practices and humans MSR Data and Tool Showcase Track / MSR Technical Papers at Almada Negreiros Chair(s): Gema Rodríguez-Pérez University of British Columbia (UBC) | ||
09:50 6mTalk | Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot MSR Technical Papers Kei Koyanagi Kyushu University, Dong Wang Kyushu University, Japan, Kotaro Noguchi Kyushu University, Masanari Kondo Kyushu University, Alexander Serebrenik Eindhoven University of Technology, Yasutaka Kamei Kyushu University, Naoyasu Ubayashi Kyushu University Pre-print | ||
09:56 4mTalk | A Four-Dimension Gold Standard Dataset for Opinion Mining in Software Engineering MSR Data and Tool Showcase Track Md Rakibul Islam Lamar University, Md Fazle Rabbi Idaho State University, Jo Youngeun Lamar University, Arifa Islam Champa Idaho State University, Ethan J Young Lamar University, Camden M Wilson Lamar University, Gavin J Scott Lamar University, Minhaz F. Zibran Idaho State University | ||
10:00 4mTalk | Opening the Valve on Pure-Data: Usage Patterns and Programming Practices of a Data-Flow Based Visual Programming Language MSR Data and Tool Showcase Track Anisha Islam Department of Computing Science, University of Alberta, Kalvin Eng University of Alberta, Abram Hindle University of Alberta | ||
10:04 4mTalk | The PIPr Dataset of Public Infrastructure as Code Programs MSR Data and Tool Showcase Track Daniel Sokolowski University of St. Gallen, David Spielmann University of St. Gallen, Guido Salvaneschi University of St. Gallen Link to publication DOI Pre-print | ||
10:08 4mTalk | A Dataset of Microservices-based Open-Source Projects MSR Data and Tool Showcase Track Dario Amoroso d'Aragona Tampere University, Alexander Bakhtin University of Oulu, Xiaozhou Li University of Oulu, Ruoyu Su University of Oulu, Lauren Adams Baylor University, Ernesto Aponte Universidad del Sagrado Corazón, Francis Boyle Baylor University, Patrick Boyle Baylor University, Rachel Koerner Baylor University, Joseph Lee University of Richmond, Fangchao Tian University of Oulu, Yuqing Wang University of Oulu, Jesse Nyyssölä University of Helsinki, Ernesto Quevedo Baylor University, Shahidur Md Rahaman Baylor University, Amr Elsayed Baylor University, Mika Mäntylä University of Helsinki and University of Oulu, Tomas Cerny University of Arizona, Davide Taibi University of Oulu and Tampere University | ||
10:12 4mTalk | SensoDat: Simulation-based Sensor Dataset of Self-driving Cars MSR Data and Tool Showcase Track Christian Birchler Zurich University of Applied Sciences & University of Bern, Cyrill Rohrbach University of Bern, Switzerland, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences | ||
10:16 4mTalk | Incivility in Open Source Projects: A Comprehensive Annotated Dataset of Locked GitHub Issue Threads MSR Data and Tool Showcase Track Ramtin Ehsani Drexel University, Mia Mohammad Imran Virginia Commonwealth University, Robert Zita Elmhurst University, Kostadin Damevski Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA | ||
10:20 4mTalk | A Dataset of Atoms of Confusion in the Android Open Source Project MSR Data and Tool Showcase Track Davi Batista Tabosa Federal University of Ceará, Oton Pinheiro Federal University of Ceará, Lincoln Rocha Federal University of Ceará, Windson Viana Federal University of Ceará | ||
10:24 4mTalk | PlayMyData: a curated dataset of multi-platform video games MSR Data and Tool Showcase Track Andrea D'Angelo University of L'Aquila, Claudio Di Sipio University of L'Aquila, Cristiano Politowski DIRO, University of Montreal, Riccardo Rubei University of L'Aquila |
09:00 - 10:30 | |||
09:00 45mKeynote | Questioning the questions we ask about the impact of AI on software engineering MSR Keynotes Margaret-Anne Storey University of Victoria | ||
09:45 45mTalk | Open Source Software Digital Sociology: Quantifying and Managing Complex Open Source Software Ecosystem MSR Tutorials Minghui Zhou Peking University, Yuxia Zhang Beijing Institute of Technology, Xin Tan Beihang University |
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 10mDay 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 60mKeynote | (When) Do we need to write (precise) requirements? MO2RE Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
10:10 20mOther | Invited reflections about MO2RE topics by Bashar Nuseibeh MO2RE |
09:00 - 10:30 | Conference Opening & KeynoteAST at Amália Rodrigues Chair(s): Francesca Lonetti CNR-ISTI, Mehrdad Saadatmand RISE Research Institutes of Sweden | ||
09:15 15mOther | Chairs Welcome AST Christof J. Budnik Siemens Corporation, Corporate Technology, Jenny Li Kean University, USA, Mehrdad Saadatmand RISE Research Institutes of Sweden | ||
09:30 60mKeynote | The future of testing: Unleashing creativity with power of AI AST Marko Ivanković Google; Universität Passau File Attached |
09:00 - 10:30 | Opening and KeynoteQ-SE at Carlos Paredes Chair(s): Jose García-Alonso Universidad de Extremadura, Lei Zhang University of Maryland Baltimore County | ||
09:00 15mDay opening | Opening Q-SE | ||
09:15 60mKeynote | Innovating Quantum Software Testing: From Theoretical Challenges to Practical Solutions Q-SE Rui Abreu Meta & University of Porto |
09:00 - 10:30 | Opening and KeynoteIWSiB at Cottinelli Telmo Chair(s): Jorge Melegati Free University of Bozen-Bolzano | ||
09:00 15mDay opening | Opening IWSiB | ||
09:15 60mKeynote | Why Digitalization Will Kill Your Company Too IWSiB Jan Bosch Chalmers University of Technology |
09:00 - 10:30 | Opening and Paper Session 1FinanSE at Daciano da Costa Chair(s): Vali Tawosi J.P. Morgan AI Research | ||
09:15 15mDay opening | Opening Session FinanSE | ||
09:30 25mLong-paper | Enhancing Incident Management: Insights from a Case Study at ING FinanSE Eileen Kapel ING & Delft University of Technology, Luís Cruz Delft University of Technology, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arie van Deursen Delft University of Technology | ||
09:55 25mLong-paper | API-Miner: an API-to-API Specification Recommendation Engine FinanSE |
09:00 - 10:30 | Session 1 - Keynote & MSR StudiesWSESE at Eugénio de Andrade Chair(s): Andreas Jedlitschka Fraunhofer IESE | ||
09:00 15m | Welcome WSESE | ||
09:15 45mKeynote | Are we Getting Reliable Evidence? Methodology is Critical in Empirical Studies WSESE Natalia Juristo Universidad Politecnica de Madrid | ||
10:00 15mTalk | Lessons Learned from Mining the Hugging Face Repository WSESE Joel Castaño Fernández Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, Xavier Franch Universitat Politècnica de Catalunya Link to publication Pre-print | ||
10:15 15mTalk | The Role of Data Filtering in Open Source Software Ranking and Selection WSESE Addi Malviya-Thakur The University of Tennessee, Knoxville / Oak Ridge National Laboratory, Audris Mockus The University of Tennessee, Knoxville / Vilnius University |
09:00 - 10:30 | Welcome, Introductions, KeynoteDoctoral Symposium at Fernando Pessoa Chair(s): Jürgen Cito TU Wien, Julia Rubin University of British Columbia | ||
09:00 30mDay opening | Welcome to the Doctoral Symposium Doctoral Symposium | ||
09:30 60mKeynote | Post-Ph.D. Career Advice: Risk, Communication, and You Doctoral Symposium Westley Weimer University of Michigan |
09:00 - 10:30 | Introduction & Ice BreakingSMeW - Student Mentoring Workshop at Lopes Graça Welcome, ice-breaking activities, discussion on academic well-being, building a mentoring network, how to get the most out of your mentoring experience, etc. | ||
09:00 90mDay opening | Introduction & Ice Breaking SMeW - Student Mentoring Workshop File Attached |
09:00 - 10:30 | Session 5: Keynote by Jun Sun + AwardsSEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco | ||
09:00 60mKeynote | Keynote: Towards Always Law-Abiding Self-Driving SEAMS Research Track Jun Sun Singapore Management University | ||
10:00 20mAwards | Most Influential Paper Award 2014 SEAMS Research Track | ||
10:20 10mAwards | SEAMS Best Paper and Artifact Awards SEAMS Research Track |
09:00 - 10:30 | Test Input GenerationKLEE at Maria Helena Vieira da Silva Chair(s): Sergey Mechtaev University College London | ||
09:00 22mTalk | Complex Test Input Generation in KLEE KLEE P: Alexey Babushkin Explyt, Aleksandr Misonizhnik Explyt, Yurii Kostyukov RnD Toolchain Labs, Huawei, Dmitry Mordvinov Huawei, Dmitry Ivanov Huawei | ||
09:22 22mTalk | Precise Lazy Initialization for Programs with Complex Heap Inputs KLEE P: Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Alessandra Gorla IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto | ||
09:44 22mTalk | Automating Differential Testing with Over-approximate Symbolic Execution KLEE Richard Rutledge Georgia Institute of Technology, P: Alessandro Orso Georgia Institute of Technology | ||
10:06 22mTalk | How the SHA-3 Buffer Overflow Was Found using KLEE KLEE |
09:00 - 09:30 | OpeningNew Faculty Symposium at Pequeno Auditório The symposium will provide plenty of time for informal interaction and will facilitate conversations with a series of short talks covering a broad range of issues faced by faculty members as well as interactive sessions. The NFS will be open to anyone who registered for ICSE main conference. For maximum benefit, including connecting to your peers, we recommend young faculty members to attend the full day. | ||
09:00 30mTalk | Introduction and Self-Introduction New Faculty Symposium |
09:00 - 10:30 | Keynote + MIPICPC Keynotes / at Sophia de Mello Breyner Andresen Chair(s): Olga Baysal Carleton University, Kevin Moran University of Central Florida, Andrew Begel Carnegie Mellon University, Leon Moonen Simula Research Laboratory and BI Norwegian Business School | ||
09:00 60mTalk | Keynote 2: Cultivating Research to Enhance the CI/CD of AAA Video GamesICPCICPC Keynote ICPC Keynotes Sarra Habchi Ubisoft Montréal | ||
10:00 30mTalk | ICPC MIP: Automatic documentation generation via source code summarization of method contextICPCICPC MIP ICPC MIP Talk |
09:00 - 10:30 | Opening and KeynoteGI@ICSE at Vianna da Motta Chair(s): Gabin An Korea Advanced Institute of Science and Technology, Aymeric Blot University of Rennes / IRISA / INRIA, Oliver Krauss University of Applied Sciences Upper Austria, William B. Langdon University College London, Vesna Nowack Imperial College London, Justyna Petke University College London | ||
09:00 15mDay opening | Welcome and Introductions GI@ICSE | ||
09:15 75mKeynote | Executing One’s Way out of the Chinese Room GI@ICSE Shin Yoo KAIST |
09:30 - 10:30 | |||
09:30 30mTalk | Building Your Research Vision New Faculty Symposium Claire Le Goues Carnegie Mellon University | ||
10:00 30mTalk | Funding Strategies New Faculty Symposium Denys Poshyvanyk William & Mary |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering |
11:00 - 12:30 | Process automation & DevOps and Tutorial IMSR Technical Papers / MSR Tutorials at Almada Negreiros Chair(s): Tom Mens University of Mons, Ayushi Rastogi University of Groningen, The Netherlands | ||
11:00 12mTalk | Learning to Predict and Improve Build Successes in Package Ecosystems MSR Technical Papers Harshitha Menon Lawrence Livermore National Lab, Daniel Nichols University of Maryland, College Park, Abhinav Bhatele University of Maryland, College Park, Todd Gamblin Lawrence Livermore National Laboratory | ||
11:12 12mTalk | The Impact of Code Ownership of DevOps Artefacts on the Outcome of DevOps CI Builds MSR Technical Papers Ajiromola Kola-Olawuyi University of Waterloo, Nimmi Rashinika Weeraddana University of Waterloo, Mei Nagappan University of Waterloo | ||
11:24 12mTalk | A Mutation-Guided Assessment of Acceleration Approaches for Continuous Integration: An Empirical Study of YourBase MSR Technical Papers Zhili Zeng University of Waterloo, Tao Xiao Nara Institute of Science and Technology, Maxime Lamothe Polytechnique Montreal, Hideaki Hata Shinshu University, Shane McIntosh University of Waterloo Pre-print | ||
11:45 45mTalk | Cohort Studies for Mining Software Repositories MSR Tutorials Nyyti Saarimäki Tampere University, Sira Vegas Universidad Politecnica de Madrid, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu and Tampere University , Mikel Robredo University of Oulu |
11:00 - 12:30 | Software Evolution & AnalysisMSR Technical Papers / MSR Data and Tool Showcase Track / MSR Industry Track at Grande Auditório Chair(s): Vladimir Kovalenko JetBrains Research | ||
11:00 12mTalk | Unveiling ChatGPT's Usage in Open Source Projects: A Mining-based Study MSR Technical Papers Rosalia Tufano Università della Svizzera Italiana, Antonio Mastropaolo Università della Svizzera italiana, Federica Pepe University of Sannio, Ozren Dabic Software Institute, Università della Svizzera italiana (USI), Switzerland, Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
11:12 12mTalk | DRMiner: A Tool For Identifying And Analyzing Refactorings In Dockerfile MSR Technical Papers Emna Ksontini University of Michigan - Dearborn, Aycha Abid Oakland University, Rania Khalsi University of Michigan - Flint, Marouane Kessentini University of Michigan - Flint | ||
11:24 12mTalk | A Large-Scale Empirical Study of Open Source License Usage: Practices and Challenges MSR Technical Papers Jiaqi Wu Zhejiang University, Lingfeng Bao Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Huawei Technologies, Xing Hu Zhejiang University | ||
11:36 12mTalk | Analyzing the Evolution and Maintenance of ML Models on Hugging Face MSR Technical Papers Joel Castaño Fernández Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, Xavier Franch Universitat Politècnica de Catalunya, Justus Bogner Vrije Universiteit Amsterdam Link to publication Pre-print | ||
11:48 12mTalk | On the Anatomy of Real-World R Code for Static Analysis MSR Technical Papers Florian Sihler Ulm University, Lukas Pietzschmann Ulm University, Raphael Straub Ulm University, Matthias Tichy Ulm University, Germany, Andor Diera Ulm University, Abdelhalim Dahou GESIS Leibniz Institute for the Social Sciences Pre-print File Attached | ||
12:00 6mTalk | Encoding Version History Context for Better Code Representation MSR Technical Papers Huy Nguyen The University of Melbourne, Christoph Treude Singapore Management University, Patanamon Thongtanunam University of Melbourne Pre-print | ||
12:06 4mTalk | CodeLL: A Lifelong Learning Dataset to Support the Co-Evolution of Data and Language Models of Code MSR Data and Tool Showcase Track Martin Weyssow DIRO, Université de Montréal, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Houari Sahraoui DIRO, Université de Montréal | ||
12:10 4mTalk | Bidirectional Paper-Repository Tracing in Software Engineering MSR Data and Tool Showcase Track Daniel Garijo , Miguel Arroyo Universidad Politécnica de Madrid, Esteban González Guardia Universidad Politécnica de Madrid, Christoph Treude Singapore Management University, Nicola Tarocco CERN | ||
12:14 4mTalk | DistilKaggle: A Distilled Dataset of Kaggle Jupyter Notebooks MSR Data and Tool Showcase Track Mojtaba Mostafavi Department of Computer Engineering of Sharif University of Technology, Arash Asgari Department of Computer Engineering of Sharif University of Technology, Mohammad Abolnejadian Department of Computer Engineering of Sharif University of Technology, Abbas Heydarnoori Bowling Green State University | ||
12:18 5mTalk | Estimating Usage of Open Source Projects MSR Industry Track |
11:00 - 12:30 | Session 2: Architecture&Evolution + workshop activityMO2RE at Amadeo de Souza-Cardoso Chair(s): Alessio Ferrari CNR-ISTI | ||
11:00 30mResearch paper | Post-Incident Action Items: Crossroads of Requirements Engineering and Software Evolution MO2RE Pre-print | ||
11:30 30mResearch 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 30mOther | Why RE is not sufficiently represented in SE MO2RE |
11:00 - 12:30 | |||
11:00 20mFull-paper | Machine Learning-based Test Case Prioritization using Hyperparameter Optimization AST Md Asif Khan Ontario Tech University, Akramul Azim Ontario Tech University, Ramiro Liscano Ontario Tech University, Kevin Smith International Business Machines Corporation (IBM), Yee-Kang Chang International Business Machines Corporation (IBM), Qasim Tauseef International Business Machines Corporation (IBM), Gkerta Seferi International Business Machines Corporation (IBM) | ||
11:20 20mFull-paper | Testing for Fault Diversity in Reinforcement Learning AST Quentin Mazouni Simula Research Laboratory, Helge Spieker Simula Research Laboratory, Norway, Arnaud Gotlieb Simula Research Laboratory, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France | ||
11:40 20mFull-paper | FairPipes: Data Mutation Pipelines for Machine Learning Fairness AST Camille Molinier ESIR, University of Rennes, Paul Temple IRISA, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur | ||
12:00 10mPoster | Reducing Workload in Using AI-based API REST Test Generation AST Benjamin Leu University of Applied Sciences and Arts Northwestern Switzerland, Jonas Volken University of Applied Sciences and Arts Northwestern Switzerland, Martin Kropp University of Applied Sciences and Arts Northwestern Switzerland, Nejdet Dogru Testifi GmbH, Craig Anslow Victoria University of Wellington, Robert Biddle Carleton University | ||
12:10 15mShort-paper | Identifying Performance Issues in Microservice Architectures through Causal Reasoning AST Luca Giamattei Università di Napoli Federico II, Antonio Guerriero Università di Napoli Federico II, Ivano Malavolta Vrije Universiteit Amsterdam, Cristian Mascia University of Naples Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II |
11:00 - 12:30 | Quality Assurance for Quantum SoftwareQ-SE at Carlos Paredes Chair(s): Ricardo Pérez-Castillo University of Castilla-La Mancha | ||
11:00 30mResearch paper | Delta Debugging for Property-Based Regression Testing of Quantum Programs Q-SE | ||
11:30 30mResearch paper | On Repairing Quantum Programs Using ChatGPT Q-SE | ||
12:00 20mShort-paper | On the Need for Effective Tools for Debugging Quantum Programs Q-SE Olivia Di Matteo University of British Columbia |
11:00 - 12:30 | |||
11:00 20mTalk | How To Get Good At Data: 5 Steps IWSiB | ||
11:20 20mTalk | Artificial Intelligence in the Public Sector -- An Agenda for Responsible Innovation through Learning IWSiB Leif Knutsen Simula Metropolitan Center for Digital Engineering, Jo Hannay Simula Research Laboratory, Michael A Riegler Simula Metropolitan Center for Digital Engineering | ||
11:40 20mTalk | Human-AI Collaboration in Software Engineering: Lessons Learned from a Hands-On Workshop IWSiB Muhammad Hamza Lappeenranta-Lahti University of Technology (LUT), Dominik Siemon LUT University, Muhammad Azeem Akbar LUT University, Tahsinur Rahman LUT University | ||
12:00 20mTalk | Researchers’ Concerns on Artificial Intelligence Ethics: Results from a Scenario-Based Survey IWSiB Marianna Jantunen University of Jyväskylä, Richard Meyes Chair of Technologies and Management of the Digital Transformation, University of Wuppertal, Veronika Kurchyna German Research Center for Artificial Intelligence, Tobias Meisen Bergische Universität Wuppertal, Pekka Abrahamsson University of Jyväskylä, Rahul Mohanani University of Jyväskylä |
11:00 - 12:30 | Keynote 1 and Paper SessionFinanSE at Daciano da Costa Chair(s): Vali Tawosi J.P. Morgan AI Research | ||
11:00 60mKeynote | Augmented Agile: Human-centred AI-assisted Software Project Management FinanSE Rashina Hoda Monash University | ||
12:00 15mShort-paper | Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques FinanSE Marcello Ceci University of Luxembourg, Nicolas Sannier University of Luxembourg, SnT, Donghwan Shin University of Sheffield, Sallam Abualhaija University of Luxembourg, Domenico Bianculli University of Luxembourg, Michael Halling University of Luxembourg |
11:00 - 12:30 | Paper Presentations IDoctoral Symposium at Fernando Pessoa Chair(s): Betty H.C. Cheng Michigan State University, Westley Weimer University of Michigan | ||
11:00 25mTalk | Accurate Architectural Threat Elicitation From Source Code Through Hybrid Information Flow Analysis Doctoral Symposium Bernd Gruner German Aerospace Center (DLR) Pre-print | ||
11:25 25mTalk | Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing Doctoral Symposium Johann Glock University of Klagenfurt Pre-print Media Attached File Attached | ||
11:50 25mTalk | Sustaining Scientific Open-Source Software Ecosystems: Challenges, Practices, and Opportunities Doctoral Symposium Jiayi Sun University of Toronto Pre-print Media Attached |
11:00 - 12:30 | Presentations & Group Q&ASMeW - Student Mentoring Workshop at Lopes Graça Presentation on networking/making friends at conferences with interactive activities to practice, aiming to help students get the most out of ICSE experience. | ||
11:00 90mTalk | Presentations & Group Q&A SMeW - Student Mentoring Workshop File Attached |
11:00 - 12:30 | Session 6: Self-Recovery & Evaluation SEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco Chair(s): Dalal Alrajeh Imperial College London | ||
11:00 25mTalk | Raft Protocol for Fault Tolerance and Self-Recovery in Federated LearningFULL SEAMS Research Track | ||
11:25 25mTalk | Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationFULL SEAMS Research Track Simon Chu Carnegie Mellon University, Justin Koe The Cooper Union, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University | ||
11:50 25mTalk | Learning Recovery Strategies for Dynamic Self-healing in Reactive SystemsFULL SEAMS Research Track Mateo Sanabria Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Nicolás Cardozo Universidad de los Andes Pre-print | ||
12:15 15mTalk | SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled SystemsARTIFACT SEAMS Artifact Track Pre-print Media Attached |
11:00 - 12:30 | Program Repair & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Martin Nowack Imperial College London | ||
11:00 22mTalk | Concolic Program Repair KLEE P: Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore Link to publication DOI Pre-print | ||
11:22 22mTalk | Program Repair Guided by Datalog-defined Static Analysis KLEE Yu Liu National University of Singapore, P: Sergey Mechtaev University College London, Pavle Subotic Fantom Foundation, Abhik Roychoudhury National University of Singapore | ||
11:44 46mKeynote | Symbolic PathFinder: Symbolic Execution for Java KLEE Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center |
11:00 - 12:30 | |||
11:00 30mTalk | Building a Collaborative Research Network New Faculty Symposium Foutse Khomh École Polytechnique de Montréal | ||
11:30 30mTalk | Service to the Community New Faculty Symposium Massimiliano Di Penta University of Sannio, Italy Pre-print | ||
12:00 30mTalk | Teaching and Instructional Work New Faculty Symposium Janet Siegmund Chemnitz University of Technology File Attached |
11:00 - 12:30 | Bugs, Defects, and Code QualityICPC Research Track / / ICPC Early Research Achievements (ERA) / ICPC Replications and Negative Results (RENE) at Sophia de Mello Breyner Andresen Chair(s): Alberto Martin-Lopez Software Institute - USI, Lugano | ||
11:00 10mTalk | What the Fix? A Study of ASAT Rules DocumentationICPCICPC Full paper ICPC Research Track Corentin Latappy Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, Promyze, Thomas Degueule CNRS, Jean-Rémy Falleri Bordeaux INP, Romain Robbes CNRS, LaBRI, University of Bordeaux, Xavier Blanc Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, Cédric Teyton Promyze, Bordeaux, France Pre-print | ||
11:10 10mTalk | SolaSim: Clone Detection for Solana Smart Contracts via Program RepresentationICPCICPC Full paper ICPC Research Track Che Wang Peking University, China, Yue Li Peking University, Jianbo Gao Peking University, Ke Wang Peking University, Jiashuo Zhang Peking University, China, Zhi Guan Peking University, Zhong Chen | ||
11:20 10mTalk | The Impact of Compiler Warnings on Code Quality in C++ ProjectsICPCICPC Full paper ICPC Research Track Albin Johansson Chalmers University of Technology, Carl Holmberg Chalmers University of Technology, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg | ||
11:30 10mTalk | Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning AttacksICPCICPC Full paper ICPC Research Track Domenico Cotroneo University of Naples Federico II, Cristina Improta University of Naples Federico II, Pietro Liguori University of Naples Federico II, Roberto Natella Federico II University of Naples Pre-print | ||
11:40 10mTalk | A Just-in-time Software Defect Localization Method based on Code Graph RepresentationICPCICPC Full paperVirtual-Talk ICPC Research Track Huan Zhang Central South University, Wei-Huan Min Central South University, Zhao Wei Tencent, Li Kuang School of Computer Science and Engineering, Central South University, Hong-Hao Gao Shanghai University, Huai-Kou Miao Shanghai University | ||
11:50 10mTalk | SICode: Embedding-Based Subgraph Isomorphism Identification for Bug DetectionICPCICPC Full paper ICPC Research Track Yuanjun Gong Renmin University of China, Jianglei Nie Renmin University of China, Wei You Renmin University of China, Wenchang Shi Renmin University of China, China, Jianjun Huang Renmin University of China, Bin Liang Renmin University of China, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
12:00 10mTalk | Tuning Code Smell Prediction Models: A Replication StudyICPCICPC RENE Paper ICPC Replications and Negative Results (RENE) Henrique Gomes Nunes Federal University of Minas Gerais (UFMG), Amanda Santana Federal University of Minas Gerais (UFMG), Eduardo Figueiredo Federal University of Minas Gerais, Brazil, Heitor Augustus Xavier Costa Federal University of Lavras | ||
12:10 8mTalk | Studying Vulnerable Code Entities in RICPCICPC ERA Paper ICPC Early Research Achievements (ERA) Zixiao Zhao University of British Columbia, Millon Madhur Das Indian Institute of Technology Kharagpur, Fatemeh Hendijani Fard University of British Columbia | ||
12:18 12mTalk | Bugs, Defects, and Code Quality: Panel with SpeakersICPC ICPC Discussion |
11:00 - 12:30 | Presentation Session 1GI@ICSE at Vianna da Motta Chair(s): Gabin An Korea Advanced Institute of Science and Technology, Justyna Petke University College London | ||
11:00 30mTalk | Deep Mutations have Little Impact GI@ICSE William Langdon University College London | ||
11:30 30mTalk | Grammar evolution and symbolic regression for astrometric centering of Hubble Space Telescope images GI@ICSE R. Sarmiento Universidad Internacional de la Rioja (UNIR), Spain, M. de la Cruz Universidad Internacional de la Rioja (UNIR), Spain, A. Ortega Universidad Internacional de la Rioja (UNIR), Spain, R. Baena-Galle Universidad Internacional de la Rioja (UNIR), Spain, T.M. Girard Southern Connecticut State University, USA, D.I. Casetti-Dinescu Southern Connecticut State University, USA, A. Cervantes Universidad Internacional de la Rioja (UNIR), Spain | ||
12:00 15mTalk | Genetic Improvement for DNN Security GI@ICSE Hunter Baxter Vanderbilt University, Yu Huang Vanderbilt University, Kevin Leach Vanderbilt University | ||
12:15 15mOther | Discussion GI@ICSE |
12:30 - 14:00 | |||
12:30 90mMeeting | JSS Board Meeting (lunch) Social Events |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | Process automation & DevOps IIMSR Technical Papers / MSR Data and Tool Showcase Track at Almada Negreiros Chair(s): Shane McIntosh University of Waterloo | ||
14:00 12mTalk | Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems MSR Technical Papers Georges Aaron RANDRIANAINA Université de Rennes 1, IRISA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Olivier Zendra Inria, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France | ||
14:12 12mTalk | How do Machine Learning Projects use Continuous Integration Practices? An Empirical Study on GitHub Actions MSR Technical Papers João Helis Bernardo Federal Institute of Education, Science and Technology of Rio Grande do Norte, Daniel Alencar Da Costa University of Otago, Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Uirá Kulesza Federal University of Rio Grande do Norte DOI Pre-print | ||
14:24 4mTalk | A dataset of GitHub Actions workflow histories MSR Data and Tool Showcase Track Guillaume Cardoen University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS | ||
14:28 4mTalk | gawd: A Differencing Tool for GitHub Actions Workflows MSR Data and Tool Showcase Track Pooya Rostami Mazrae University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons | ||
14:32 4mTalk | RABBIT: A tool for identifying bot accounts based on their recent GitHub event history MSR Data and Tool Showcase Track Natarajan Chidambaram University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS | ||
14:36 12mTalk | An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem MSR Technical Papers Xingyu Li UC Riverside, Zheng Zhang UC Riverside, Zhiyun Qian University of California at Riverside, USA, Trent Jaeger UC Riverside, Chengyu Song University of California at Riverside, USA | ||
14:48 4mTalk | BugsPHP: A dataset for Automated Program Repair in PHP MSR Data and Tool Showcase Track K.D. Pramod University of Moratuwa, Sri Lanka, W.T.N. De Silva University of Moratuwa, Sri Lanka, W.U.K. Thabrew University of Moratuwa, Sri Lanka, Ridwan Salihin Shariffdeen National University of Singapore, Sandareka Wickramanayake University of Moratuwa, Sri Lanka Pre-print |
14:00 - 15:30 | Security and Vision & ReflectionMSR Data and Tool Showcase Track / MSR Technical Papers / MSR Registered Reports / MSR Vision and Reflection at Grande Auditório Chair(s): Tim Menzies North Carolina State University | ||
14:00 12mTalk | Quantifying Security Issues in Reusable JavaScript Actions in GitHub Workflows MSR Technical Papers Hassan Onsori Delicheh University of Mons, Belgium, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons Pre-print | ||
14:12 12mTalk | What Can Self-Admitted Technical Debt Tell Us About Security? A Mixed-Methods Study MSR Technical Papers Nicolás E. Díaz Ferreyra Hamburg University of Technology, Mojtaba Shahin RMIT University, Mansooreh Zahedi The Univeristy of Melbourne, Sodiq Quadri Hamburg University of Technology, Riccardo Scandariato Hamburg University of Technology Pre-print | ||
14:24 12mTalk | Are Latent Vulnerabilities Hidden Gems for Software Vulnerability Prediction? An Empirical Study MSR Technical Papers Triet Le The University of Adelaide, Xiaoning Du Monash University, Australia, Muhammad Ali Babar School of Computer Science, The University of Adelaide | ||
14:36 4mTalk | MalwareBench: Malware samples are not enough MSR Data and Tool Showcase Track Nusrat Zahan North Carolina State University, Philipp Burckhardt Socket, Inc, Mikola Lysenko Socket, Inc, Feross Aboukhadijeh Socket, Inc, Laurie Williams North Carolina State University | ||
14:40 4mTalk | Hash4Patch: A Lightweight Low False Positive Tool for Finding Vulnerability Patch Commits MSR Data and Tool Showcase Track | ||
14:44 4mTalk | MegaVul: A C/C++ Vulnerability Dataset with Comprehensive Code Representations MSR Data and Tool Showcase Track Chao Ni School of Software Technology, Zhejiang University, Liyu Shen Zhejiang University, Xiaohu Yang Zhejiang University, Yan Zhu Zhejiang University, Shaohua Wang Central University of Finance and Economics |