Sun 14 MayDisplayed time zone: Hobart change
08:45 - 10:30 | Session 1InteNSE at Meeting Room 110 Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
08:45 15mDay opening | Welcome from the workshop chairs InteNSE Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
09:00 60mKeynote | Keynote: Software Engineering in the Age of Generative AI, Yet Not Explainable! InteNSE Kla Tantithamthavorn Monash University | ||
10:00 30mResearch paper | ASTRO: An AST-Assisted Approach for Generalizable Neural Clone Detection InteNSE Yifan Zhang Vanderbilt University, Junwen Yang Meta, Inc., Haoyu Dong Duke University, Qingchen Wang University of Hong Kong, Huajie Shao College of William & Mary, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University |
09:00 - 10:30 | Opening KeynoteTechDebt Technical Papers / TechDebt Plenary / TechDebt Industry Track / TechDebt Short Papers at Meeting Room 101 | ||
09:00 15mDay opening | Conference Opening TechDebt Plenary | ||
09:15 75mKeynote | Titus Winters: Tech Debt Metaphors Aren’t Helping TechDebt Plenary |
09:00 - 10:30 | |||
09:00 15mDay opening | Opening FormaliSE | ||
09:15 75mKeynote | Leakage Logic for programs FormaliSE Annabelle McIver Macquarie University |
09:00 - 10:30 | First day opening / KeynoteCHASE Research Track at Meeting Room 103 Chair(s): Fabio Calefato University of Bari | ||
09:00 30mDay opening | First day opening CHASE Research Track Igor Steinmacher Northern Arizona University | ||
09:30 60mKeynote | The Inclusive Developer: Perspectives and Considerations for Building Inclusive Software CHASE Research Track Daniela Damian University of Victoria |
09:00 - 10:30 | |||
09:00 30mDay opening | Opening ICSSP | ||
09:30 60mKeynote | A.I.gile - How Agile and AI (e)merge in practice ICSSP |
09:00 - 10:30 | Session 1SBFT at Meeting Room 105 Chair(s): Alessio Gambi IMC University of Applied Sciences Krems, Giovani Guizzo University College London, Sebastiano Panichella Zurich University of Applied Sciences | ||
09:15 15mOther | Opening SBFT Giovani Guizzo University College London, Alessio Gambi IMC University of Applied Sciences Krems, Sebastiano Panichella Zurich University of Applied Sciences | ||
09:30 60mKeynote | Truth or Dare: Real-World Fuzz Testing of UAVs in Flight SBFT Jane Cleland-Huang University of Notre Dame |
09:00 - 10:30 | SESoS Opening & Keynote Speaker ISESoS at Meeting Room 107 Chair(s): Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology | ||
09:00 30mDay opening | SESoS Opening SESoS P: Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro, P: Antonia Bertolino National Research Council, Italy, P: Pablo Oliveira Antonino Fraunhofer IESE, P: Doo-Hwan Bae Korea Advanced Institute of Science and Technology | ||
09:30 60mKeynote | Challenges in Engineering Antifragile Systems of Systems SESoS |
09:00 - 10:30 | Opening and keynoteQ-SE at Meeting Room 109 Chair(s): Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) | ||
09:15 15mDay opening | Opening Q-SE Paolo Arcaini National Institute of Informatics
, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) | ||
09:30 60mKeynote | Quantum Computing: Challenges and Opportunities for Software Engineering Q-SE Udson C. Mendes CMC Microsystems |
09:00 - 10:30 | FAIRWARE Session1FairWare at Meeting Room 111 Chair(s): Brittany Johnson George Mason University 9:00 KEYNOTE Fairness through Unfairness Os Keyes https://ironholds.org/ 10:00 Fair-Siamese Approach for Accurate Fairness in Image Classification, Kwanhyong Lee, Van-Thuan Pham, and Jiayuan He | ||
09:00 - 10:30 | |||
09:15 15mDay opening | Opening remarks MET Manuel Rigger National University of Singapore | ||
09:30 60mKeynote | Keynote talk: Metamorphic Testing of Developer Tools MET Michael Pradel University of Stuttgart |
11:00 - 12:30 | Self-Admitted Technical DebtTechDebt Plenary / TechDebt Technical Papers / TechDebt Short Papers at Meeting Room 101 | ||
11:00 25mResearch paper | An Exploratory Study on the Occurrence of Self-Admitted Technical Debt in Android Apps TechDebt Technical Papers Gregory Wilder II University of Hawai‘i at Mānoa, Riley Miyamoto University of Hawai‘i at Mānoa, Samuel Watson University of Hawai‘i at Mānoa, Rick Kazman University of Hawai‘i at Mānoa, Anthony Peruma University of Hawai‘i at Mānoa Pre-print | ||
11:25 25mResearch paper | Automatically Identifying Relations Between Self-Admitted Technical Debt Across Different Sources TechDebt Technical Papers Yikun Li University of Groningen, Mohamed Soliman University of Groningen, Paris Avgeriou Univ. of Gronningen | ||
11:50 15mShort-paper | Automated Self-Admitted Technical Debt Tracking at Commit-Level: A Language-independent Approach TechDebt Short Papers Mohammad Sadegh Sheikhaei School of Computing, Queen's University, Yuan Tian Queens University, Kingston, Canada Pre-print | ||
12:05 15mShort-paper | Measuring Improvement of F1-Scores in Detection of Self-Admitted Technical Debt TechDebt Short Papers William Aiken University of Ottawa, Paul K. Mvula University of Ottawa, Paula Branco University of Ottawa, Guy Jourdan University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Herna Viktor University of Ottawa Pre-print | ||
12:20 10mLive Q&A | Open Q&A TechDebt Plenary |
11:00 - 12:30 | |||
11:00 30mTalk | Goal Controller Synthesis for Self-Adaptive Systems FormaliSE | ||
11:30 30mPaper | Verifying Binary Neural Networks on Continuous Input Space using Star Reachability FormaliSE Mykhailo Ivashchenko University of Nebraska-Lincoln, Sung Woo Choi , Luan Nguyen University of Pennsylvania, Hoang-Dung Tran Vanderbilt University | ||
12:00 30mPaper | Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning FormaliSE Marcello Bersani Politecnico di Milano, Italy, Matteo Camilli Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Raffaela Mirandola Politecnico di Milano, Matteo Rossi Politecnico di Milano |
11:00 - 12:30 | Resilience & QualityCHASE Research Track at Meeting Room 103 Chair(s): Rashina Hoda Monash University | ||
11:00 20mTalk | Post-pandemic Resilience of Hybrid Software TeamsFull Paper CHASE Research Track Ronnie de Souza Santos Cape Breton University, Gianisa Adisaputri Dalhousie University, Paul Ralph Dalhousie University Pre-print | ||
11:20 20mTalk | On the perceived relevance of critical internal quality attributes when evolving software featuresFull Paper CHASE Research Track Eduardo Fernandes Federal University of Minas Gerais (UFMG), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print | ||
11:40 20mTalk | What's behind tight deadlines? Business causes of technical debtNIER paper CHASE Research Track Rodrigo Rebouças de Almeida Federal University of Paraiba, Christoph Treude University of Melbourne, Uirá Kulesza Federal University of Rio Grande do Norte Pre-print | ||
12:00 20mTalk | Accounting for socio-technical resilience in software engineeringNIER paper CHASE Research Track Tamara Lopez The Open University, Helen Sharp The Open University, Michel Wermelinger The Open University, Melanie Langer Lancaster University, Mark Levine Lancaster University, Caroline Jay Department of Computer Science, University of Manchester, M13 9PL, United Kingdom, Yijun Yu The Open University, UK, Bashar Nuseibeh The Open University, UK; Lero, University of Limerick, Ireland Pre-print |
11:00 - 12:30 | |||
11:00 20mFull-paper | Automatically Generating Dockerfiles via Deep-Learning: Challenges and Promises ICSSP Giovanni Rosa University of Molise, Antonio Mastropaolo Università della Svizzera italiana, Simone Scalabrino University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana, Rocco Oliveto University of Molise | ||
11:20 20mFull-paper | An Experience Report on Assessing Software Engineer’s Outputs in Practice ICSSP Juzheng Zhang Nanjing University, He Zhang Nanjing University, Lanxin Yang Nanjing University, China, Liming Dong Nanjing University, Yue Li | ||
11:40 20mFull-paper | Automatic Detection of Security Deficiencies and Refactoring Advises for Microservices ICSSP |
11:00 - 12:30 | |||
11:00 60mPanel | Discussion Panel: Testing and Security for Cyber-Physical Systems SBFT Aitor Arrieta Mondragon University, Annibale Panichella Delft University of Technology, Jane Cleland-Huang University of Notre Dame, Lionel Briand University of Luxembourg; University of Ottawa, Mohammad Reza Mousavi King's College London, Shaukat Ali Simula Research Laboratory | ||
12:00 15mTalk | On the Strengths of Pure Evolutionary Algorithms in Generating Adversarial Examples SBFT Antony Bartlett , Cynthia C. S. Liem Delft University of Technology, Annibale Panichella Delft University of Technology Pre-print | ||
12:15 15mTalk | Automatic Generation of Smell-free Unit Tests SBFT José Campos University of Porto, Portugal Pre-print |
11:00 - 12:30 | |||
11:00 30mMeeting | Working session / breakouts GREENS |
11:00 - 12:30 | |||
11:00 25mTalk | MCBeth: A Measurement-based Quantum Programming Language Q-SE Aidan Evans Yale University, Seun Omonije , Robert Soulé University of Lugano, Robert Rand University of Chicago | ||
11:25 25mTalk | Generating Presence-Absence Matrices by Quantum Annealing Q-SE Philippe Codognet Japanese-French Laboratory for Informatics | ||
11:50 25mTalk | Dynamic Output State Classification for Quantum Computers Q-SE Hector Menendez King's College London, Luciano Bello IBM Research, David Clark University College London | ||
12:15 15mTalk | Design by Contract Framework for Quantum Software Q-SE |
11:00 - 12:30 | Session 2InteNSE at Meeting Room 110 Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
11:00 30mResearch paper | Study of Distractors in Neural Models of Code InteNSE Md Rafiqul Islam Rabin University of Houston, Aftab Hussain University of Houston, Sahil Suneja IBM Research, Amin Alipour University of Houston Pre-print | ||
11:30 30mResearch paper | A Study of Variable-Role-based Feature Enrichment in Neural Models of Code InteNSE Aftab Hussain University of Houston, Md Rafiqul Islam Rabin University of Houston, Bowen Xu Singapore Management University, David Lo Singapore Management University, Amin Alipour University of Houston Pre-print | ||
12:00 30mOther | Half Day Wrap Up InteNSE |
11:00 - 12:30 | FAIRWARE Session1FairWare at Meeting Room 111 Chair(s): Tim Menzies North Carolina State University 11:00: On Retrofitting Provenance for Transparent and Fair Software – Drivers and Challenges Jens Dietrich, Matthias Galster, and Markus Luczak-Roesch 11:30: Heavy-tailed Uncertainty in AI Policy Lelia Marie Hampton 12:00: Quantitative and Qualitative Methods for Equitable Research and Development Brittany Johnson, Zhe Yu | ||
11:00 - 12:30 | Session 1: Metamorphic Testing for Autonomous Driving SystemMET at Meeting Room 112 Chair(s): Chun Yong Chong Monash University Malaysia | ||
11:00 30mResearch paper | Metamorphic Testing of Advanced Driver-Assistance Systems: Implementing Euro NCAP Standards on OpenStreetMap MET Muhammad Iqbal University of Wollongong | ||
11:30 30mResearch paper | Metamorphic Testing Harness for the Baidu Apollo Perception-Camera Module MET Yifan Zhang University of Nottingham Ningbo China, Dave Towey University of Nottingham Ningbo China, Matthew pike University of Nottingham, Ningbo, China, Jia Cheng Han University of Wollongong, George Zhou NIO, Chenghao Yin NIO, Qian Wang NIO, Chen Xie NIO | ||
12:00 30mResearch paper | A Metamorphic Testing Framework and Toolkit for Modular Automated Driving Systems MET Riley Underwood Swinburne University of Technology, Quang-Hung Luu Swinburne University of Technology, Huai Liu Swinburne University of Technology |
12:30 - 13:45 | |||
12:30 75mLunch | Lunch Catering |
13:30 - 15:15 | |||
13:30 60mKeynote | Revisiting the Notion of Diversity in Software Testing SBFT Lionel C. Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg | ||
14:30 15mTalk | PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques SBFT | ||
14:45 15mTalk | Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD Pipelines SBFT | ||
15:00 15mTalk | Grammar-Based Evolutionary Fuzzing for JSON-RPC APIs SBFT |
13:45 - 15:15 | |||
13:45 25mResearch paper | The Type to Take Out a Loan? A Study of Developer Personality and Technical Debt TechDebt Technical Papers Pre-print | ||
14:10 25mResearch paper | Technical Debt Contagiousness Metrics for Measurement and Prioritization in Mechatronics TechDebt Technical Papers Fandi Bi Technical University of Munich, Birgit Vogel-Heuser Karlsruhe Institute of Technology, Fengmin Du ETH Zürich, Nils Hanich Technical University of Munich, Eunnuri Cho Technical University of Munich | ||
14:35 25mTalk | How to introduce TD Management into a Software Development Process – A Practical Approach TechDebt Technical Papers | ||
15:00 15mLive Q&A | Open Q&A TechDebt Plenary |
13:45 - 15:15 | SpecificationFormaliSE at Meeting Room 102 Chair(s): Larissa A. Meinicke The University of Queensland | ||
13:45 30mPaper | Contract-Based Specification Refinement and Repair for Mission Planning FormaliSE Piergiuseppe Mallozzi UC Berkeley, Inigo Incer University of California, Berkeley, Pierluigi Nuzzo University of Southern California, Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA | ||
14:15 30mPaper | Patch Specifications via Product Programs FormaliSE Cristian Cadar Imperial College London, UK, Daniel Schemmel Imperial College London, Arindam Sharma Imperial College London | ||
14:45 30mPaper | An Empirical Study Assessing Software Modeling in Alloy FormaliSE Niloofar Mansoor University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln, Eunsuk Kang Carnegie Mellon University, Bonita Sharif University of Nebraska-Lincoln, USA |
13:45 - 15:15 | |||
13:45 20mFull-paper | Using GUI Test Videos to Obtain Stakeholders’ Feedback ICSSP Jianwei Shi Leibniz University Hannover, Jonas Mönnich Leibniz University Hannover, Jil Klünder Leibniz Universität Hannover, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group | ||
14:05 20mFull-paper | Measuring the Benefits of CI/CD Practices for Database Application Development ICSSP | ||
14:25 20mFull-paper | On Preparing and Assessing Data for Simulation Process Modeling: An Industrial Report ICSSP Liming Dong Nanjing University, He Zhang Nanjing University, Yue Li , Bohan Liu Nanjing University, Zhiluo Weng Nanjing University | ||
14:45 20mFull-paper | Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs ICSSP Yibin Xu University of Copenhagen, Tijs Slaats University of Copenhagen, Boris Düdder University of Copenhagen, Thomas T. Hildebrandt University of Copenhagen |
13:45 - 15:15 | |||
13:45 90mMeeting | Working session / breakouts GREENS |
13:45 - 15:15 | Paper session 2Q-SE at Meeting Room 109 Chair(s): Philippe Codognet Japanese-French Laboratory for Informatics | ||
14:00 25mTalk | Automatic generation of an efficient less-than oracle for quantum Amplitude Amplification Q-SE Javier Sánchez Rivero COMPUTAEX, Daniel Talaván COMPUTAEX, Jose García-Alonso Universidad de Extremadura, Antonio Ruiz-Cortés University of Seville, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation | ||
14:25 25mTalk | Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? Q-SE Joshua Ammermann Karlsruhe Institute of Technology, Tim Bittner Karlsruhe Institute of Technology, Domenik Eichhorn Karlsruhe Institute of Technology, Ina Schaefer KIT, Christoph Seidl IT University of Copenhagen | ||
14:50 25mTalk | Static Entanglement Analysis of Quantum Programs Q-SE |
13:45 - 15:15 | Session 3InteNSE at Meeting Room 110 Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
13:45 60mKeynote | Keynote: Interpreting Neural Models of Code by Comparing Them with Human Developers InteNSE Michael Pradel University of Stuttgart | ||
14:45 30mResearch paper | Probing Numeracy and Logic of Language Models of Code InteNSE Razan Baltaji University of Illinois at Urbana Champaign, Parth Thakkar University of Illinois at Urbana Champaign |
13:45 - 15:15 | FAIRWARE Session3FairWare at Meeting Room 111 Chair(s): Zhe Yu Rochester Institute of Technology 13:45: KEYNOTE Applying Safe and Fair Machine Learning Algorithms with the Seldonian Toolkit Austin Hoag, Berkeley Existential Risk Initiative 14:45: Reflexive Practices in Software Engineering by Alicia Boyd | ||
13:45 - 15:15 | Session 2: Applications of Metamorphic TestingMET at Meeting Room 112 Chair(s): Quang-Hung Luu Swinburne University of Technology | ||
13:45 60mPanel | Panel Discussion 1: Metamorphic Testing in Industry MET George Zhou NIO | ||
14:45 30mResearch paper | Sensitive Region-based Metamorphic Testing Framework using XAI MET Yuma Torikoshi The University of Electro-Communications, Yasuharu Nishi University of Electro-Communications, Tokyo, Juichi Takahashi AGEST, Inc |
15:15 - 15:45 | |||
15:15 30mCoffee break | Afternoon Tea Catering |
15:45 - 17:15 | Architecture and Documentation Technical DebtTechDebt Technical Papers / TechDebt Plenary at Meeting Room 101 | ||
15:45 25mResearch paper | Identifying Code Changes for Architecture Decay via a Metric Forest Structure TechDebt Technical Papers Wuxia Jin Xi'an Jiaotong University, Yuyun Zhang Xi'an Jiaotong University, Jiaowei Shang Xi'an Jiaotong University, Yi Hou Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University | ||
16:10 25mResearch paper | Resolving Security Issues via Quality-Oriented Refactoring: A User Study TechDebt Technical Papers Domenico Gigante SER&Practices and University of Bari, Fabiano Pecorelli Jheronimus Academy of Data Science, Vita Santa Barletta University of Bari, Andrea Janes FHV Vorarlberg University of Applied Sciences, Valentina Lenarduzzi University of Oulu, Davide Taibi Tampere University , Maria Teresa Baldassarre Department of Computer Science, University of Bari | ||
16:35 25mResearch paper | Towards identifying and minimizing customer-facing documentation debt TechDebt Technical Papers Lakmal Silva Blekinge Institute of Technology, Michael Unterkalmsteiner Blekinge Institute of Technology, Krzysztof Wnuk | ||
17:00 15mLive Q&A | Open Q&A TechDebt Plenary |
15:45 - 17:15 | |||
15:45 30mPaper | Mutant Equivalence as Monotonicity in Parametric Timed Games FormaliSE Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Maurice ter Beek ISTI-CNR, Pisa, Italy, Hendrik Göttmann Technical University of Darmstadt, Malte Lochau University of Siegen | ||
16:15 30mPaper | Differential Testing of a Verification Framework for Compiler Optimizations (Case Study) FormaliSE Mark Utting The University of Queensland, Brae J. Webb The University of Queensland, Ian J. Hayes The University of Queensland | ||
16:45 30mPaper | Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity FormaliSE Eli Pregerson Harvey Mudd College, Shaheen Cullen-Baratloo Harvey Mudd College, David Chen Harvey Mudd College, Duy Lam Harvey Mudd College, Max Szostak Harvey Mudd College, Lucas Bang Harvey Mudd College |
15:45 - 17:15 | OSS & Knowledge Communities / ClosingCHASE Research Track at Meeting Room 103 Chair(s): Kiev Gama UFPE | ||
15:45 20mTalk | Understanding information diffusion about open-source projects on Twitter, HackerNews, and RedditFull Paper CHASE Research Track Hongbo Fang Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University, James Herbsleb Carnegie Mellon University Pre-print | ||
16:05 20mTalk | Towards Understanding the Open Source Interest in Gender-Related GitHub ProjectsFull Paper CHASE Research Track Rita Garcia Unity and Victoria University of Wellington, Christoph Treude University of Melbourne, Wendy La University of Adelaide Pre-print | ||
16:25 20mTalk | Hearing the voice of experts: Unveiling Stack Exchange communities’ knowledge of test smellsFull Paper CHASE Research Track Luana Martins Federal University of Bahia, Denivan Campos Federal University of Bahia, Railana Santana Federal University of Bahia, Joselito Mota Jr Federal University of Bahia, Heitor Augustus Xavier Costa Federal University of Lavras, Ivan Machado Federal University of Bahia Pre-print | ||
17:05 20mTalk | Strategies for Using Websites to Support Programming and Their Impact on Source CodeFull Paper CHASE Research Track Omar Alghamdi Department of Computer Science, University of Manchester, M13 9PL, United Kingdom. College of Computing and Informatics, Saudi Electronic University, Riyadh,6867, Saudi Arabia, Sarah Clinch Department of Computer Science, University of Manchester, M13 9PL, United Kingdom, Mohammad Alhamadi Department of Computer Science, University of Manchester, M13 9PL, United Kingdom, Caroline Jay Department of Computer Science, University of Manchester, M13 9PL, United Kingdom Pre-print | ||
17:25 5mDay closing | First day closing CHASE Research Track Igor Steinmacher Northern Arizona University |
15:45 - 17:15 | |||
15:45 60mKeynote | A Technical Focus on Business Process Management – Past, Present, and Emerging Topics ICSSP | ||
16:45 30mDay closing | Day 1 Wrap Up ICSSP |
15:45 - 18:30 | |||
15:45 45mOther | Fuzzing Tool Competition SBFT | ||
16:30 45mOther | Java Tool Competition SBFT | ||
17:15 45mOther | CPS Tool Competition SBFT | ||
18:00 15mAwards | Awards SBFT | ||
18:15 15mDay closing | Closing SBFT |
15:45 - 17:15 | SESoS Keynote Speaker II + Breakout Session, Closing and AwardsSESoS at Meeting Room 107 Chair(s): Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology | ||
15:45 60mKeynote | Emotion Analysis in Software Ecosystems SESoS | ||
16:45 30mDay closing | SESoS Breakout Session, Closing and Awards SESoS P: Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro, P: Antonia Bertolino National Research Council, Italy, P: Pablo Oliveira Antonino Fraunhofer IESE, P: Doo-Hwan Bae Korea Advanced Institute of Science and Technology |
15:45 - 17:15 | |||
15:45 90mMeeting | Working session / breakouts, and outbriefs GREENS |
15:45 - 17:15 | Paper session 3Q-SE at Meeting Room 109 Chair(s): Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) | ||
15:45 25mTalk | QChecker: Detecting Bugs in Quantum Programs via Static Analysis Q-SE Pengzhan Zhao Kyushu University, Xiongfei Wu Kyushu University, Li Zhuo , Jianjun Zhao Kyushu University | ||
16:10 35mDay closing | Discussion and Closing Q-SE Paolo Arcaini National Institute of Informatics
, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) |
15:45 - 17:30 | |||
15:45 60mPanel | Discussion: Robustness and Interpretability in the LLM Era InteNSE | ||
16:45 30mDay closing | Workshop Closing (state of research and roadmap for future research) InteNSE | ||
17:15 15mDinner | Dinner and Socializing InteNSE |
15:45 - 17:15 | FAIRWARE Session4FairWare at Meeting Room 111 Chair(s): Brittany Johnson George Mason University 5:45: Workshop in a workshop: Teaching Ethics 17:05: Workshop Closing + Dinner plans | ||
15:45 - 17:15 | Session 3: Metamorphic Testing for Machine LearningMET at Meeting Room 112 Chair(s): Quang-Hung Luu Swinburne University of Technology | ||
15:45 30mResearch paper | Robustness Evaluation in Hand Pose Estimation Models using Metamorphic Testing MET Muxin Pu Monash University Malaysia, Chun Yong Chong Monash University Malaysia, Mei Kuan Lim Monash University Malaysia | ||
16:15 60mPanel | Panel Discussion 2: Are We Good Enough with the Foundation Models? MET Huai Liu Swinburne University of Technology |
18:00 - 21:00 | |||
18:00 3hMeeting | SESoS Social Event (Bang Pop South Wharf) SESoS |
Mon 15 MayDisplayed time zone: Hobart change
09:00 - 10:30 | |||
09:00 15mDay opening | Day Opening TechDebt Plenary | ||
09:15 75mKeynote | Xiwei (Sherry) Xu: Technical Debt in AI-based Software Systems: Challenges and Approaches TechDebt Plenary |
09:00 - 10:30 | KeynoteFormaliSE at Meeting Room 102 Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" | ||
09:15 75mKeynote | Exploiting incompleteness in software development FormaliSE Paola Spoletini Kennesaw State University |
09:00 - 10:30 | Second day opening / KeynoteCHASE Research Track at Meeting Room 103 Chair(s): Hourieh Khalajzadeh Deakin University, Australia | ||
09:15 15mDay opening | Second day opening CHASE Research Track Igor Steinmacher Northern Arizona University | ||
09:30 60mKeynote | Humans of AI CHASE Research Track Jon Whittle CSIRO's Data61 and Monash University |
09:00 - 10:30 | |||
09:00 60mKeynote | AI-Augmented Software Engineering: Revolutionising or Challenging Software Quality and Testing? ICSSP |
09:00 - 10:30 | SEAMS 2023 Opening & Keynote 1SEAMS Research Track / SEAMS Artifact Track at Meeting Room 105 Chair(s): Radu Calinescu University of York, UK, Pooyan Jamshidi University of South Carolina, Raffaela Mirandola Politecnico di Milano | ||
09:00 30mTalk | SEAMS Opening SEAMS Research Track | ||
09:30 60mKeynote | Human-centric (Self-Adaptive) Software Engineering SEAMS Research Track John Grundy Monash University |
09:00 - 10:30 | Conference Introductions / MIP Talk / Documentation and Stack OverflowICPC Discussion / ICPC Research / ICPC Opening / ICPC Journal First / ICPC MIP Talk at Meeting Room 106 Chair(s): Christoph Treude University of Melbourne, Akhila Sri Manasa Venigalla IIT Tirupati | ||
09:00 15mDay opening | Conference Opening ICPC Opening G: Christoph Treude University of Melbourne, P: Raula Gaikovina Kula Nara Institute of Science and Technology, P: Bonita Sharif University of Nebraska-Lincoln, USA | ||
09:15 40mTalk | MIP Talk on ICPC 2013 Paper titled "Automatic generation of natural language summaries for Java classes" ICPC MIP Talk Laura Moreno CQSE America, Jairo Aponte Universidad Nacional de Colombia, Giriprasad Sridhara IBM Research Labs, Andrian Marcus University of Texas at Dallas, Lori Pollock University of Delaware, USA, K. Vijay-Shanker | ||
09:55 9mFull-paper | QTC4SO: Automatic Question Title Completion for Stack Overflow ICPC Research Yanlin Zhou School of Information Science and Technology, Nantong University, ShaoYu Yang School of Information Science and Technology, Nantong University, Xiang Chen Nantong University, Zichen Zhang School of Information Science and Technology, Nantong University, Jiahua Pei School of Information Science and Technology, Nantong University Pre-print | ||
10:04 9mTalk | A Study of Update Request Comments in Stack Overflow Answer Posts ICPC Journal First Mohammad Sadegh Sheikhaei School of Computing, Queen's University, Yuan Tian Queens University, Kingston, Canada, Shaowei Wang University of Manitoba Link to publication | ||
10:13 9mTalk | Machine Translation-based Fine-grained Comments Generation for Solidity Smart Contracts ICPC Journal First Chaochen Shi Deakin University, Yong Xiang Deakin University, Jiangshan Yu Monash University, Keshav Sood Deakin University, Longxiang Gao Qilu University of Technology | ||
10:22 8mPanel | Discussion 1 ICPC Discussion |
09:00 - 10:30 | |||
09:00 30mTalk | Automation of Software Test; Confererence - Past, Present and Visions AST Mehrdad Saadatmand RISE Research Institutes of Sweden, Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity | ||
09:30 60mKeynote | Lessons from 10 Years of Automated Debugging Research AST Media Attached |
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome and introduction RoSE | ||
09:10 50mKeynote | Building, testing, and deploying safety critical software for robots and autonomous systems RoSE | ||
10:00 15mTalk | Enhancing the technological maturity of robot swarms RoSE A: Darko Bozhinoski Université Libre de Bruxelles, A: Mauro Birattari IRIDIA, Université Libre de Bruxelles | ||
10:15 15mTalk | Towards the concept of trust assurance case RoSE A: Emilia Cioroaica Fraunhofer IESE, A: Barbora Buhnova Masaryk University, A: Daniel Schneider Fraunhofer IESE, A: Ioannis Sorokos Fraunhofer IESE, A: Thomas Kuhn , A: Emrah Tomur Ericsson |
09:00 - 10:30 | Opening Session & Award TalksMSR Awards / MSR MIP Award at Meeting Room 109 Chair(s): Emad Shihab Concordia Univeristy, Bogdan Vasilescu Carnegie Mellon University | ||
09:00 20mDay opening | Opening Session & Award Announcements MSR Awards Emad Shihab Concordia Univeristy, Patanamon Thongtanunam The University of Melbourne, Bogdan Vasilescu Carnegie Mellon University | ||
09:20 20mTalk | MSR 2023 Foundational Contribution Award MSR Awards | ||
09:40 20mTalk | MSR 2023 Ric Holt Early Career Achievement Award MSR Awards Li Li Beihang University | ||
10:00 30mTalk | MIP #1: Mining Source Code Repositories at Massive Scale Using Language Modeling MSR MIP Award |
09:00 - 10:30 | Session 1MOBILESoft Research Track at Meeting Room 111 Chair(s): Mattia Fazzini University of Minnesota, Jacques Klein University of Luxembourg, Li Li Beihang University, Lili Wei McGill University | ||
09:00 30mTalk | Welcome MOBILESoft Research Track | ||
09:30 60mTalk | When AI Meets Mobile App Testing: Getting There in Industrial Cases MOBILESoft Research Track Tao Xie Peking University |
10:30 - 11:00 | |||
10:30 30mCoffee break | Morning Tea Catering |
11:00 - 12:30 | |||
11:00 25mResearch paper | Technical Debt Classification in Issue Trackers using Natural Language Processing based on Transformers TechDebt Technical Papers Daniel Skryseth University of Oslo, Karthik Shivashankar University of Oslo, Ildikó Pilán Norwegian Computing Center, Antonio Martini University of Oslo, Norway | ||
11:25 25mResearch paper | Exploring the Effect of Various Maintenance Activities on the Accumulation of TD Principal TechDebt Technical Papers Nikolaos Nikolaidis University of Macedonia, Apostolos Ampatzoglou University of Macedonia, Alexander Chatzigeorgiou University of Macedonia, Nikolaos Mittas International Hellenic University, Evdokimos Konstantinidis Aristotle University, Panagiotis Bamidis Aristotle University | ||
11:50 40mLive Q&A | Open Q&A TechDebt Plenary |
11:00 - 12:30 | |||
11:00 30mPaper | A Dafny-based approach to thread-local information flow analysis FormaliSE Graeme Smith The University of Queensland | ||
11:30 30mPaper | Transparent Actor Model FormaliSE Fatemeh Ghassemi University of Tehran, Marjan Sirjani Malardalen University, Ehsan Khamespanah University of Tehran, Mahrokh Mirani Tehran Institute for Advanced Studies, Hossein Hojjat Tehran Institute for Advanced Studies | ||
12:00 30mPaper | Using cylindric algebra to support local variables in rely/guarantee concurrency FormaliSE |
11:00 - 12:30 | |||
11:00 20mIndustry talk | De-risking major industry transformations using experimentation ICSSP | ||
11:20 20mIndustry talk | Analyzing the Implications of NFTs as Digital Identities in Web3.0: A Privacy-Focused Approach ICSSP | ||
11:40 20mIndustry talk | Considering the Human in the loop when adopting AI ICSSP | ||
12:00 20mIndustry talk | Helping companies de-risk the integration of first, second and third-party AI models into a customer engagement platform ICSSP |
11:00 - 12:30 | |||
11:00 22mTalk | An Method of Intelligent Duplicate Bug Report Detection Based on Technical Term Extraction AST Xiaoxue Wu Yangzhou University, Wenjing Shan Yangzhou University, Wei Zheng Northwestern Polytechnical University, Zhiguo Chen Northwestern Polytechnical University, Tao Ren Yangzhou University, Xiaobing Sun Yangzhou University | ||
11:22 22mTalk | A Reinforcement Learning Approach to Generate Test Cases for Web Applications AST Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid, Yifei Zhang State Key Lab of Computer Sciences, Institute of Software, Chinese Academy of Sciences, Lei Cui Joint Laboratory on Cyberspace Security of China Southern Power Grid, Zhenyue Long , Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Wei Chen Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Tao Huang Institute of Software Chinese Academy of Sciences | ||
11:45 22mTalk | Cross-Project setting using Deep learning Architectures in Just-In-Time Software Fault Prediction: An Investigation AST Sushant Kumar Pandey Chalmers and University of Gothenburg, Anil Kumar Tripathi Indian Institute of Technology (BHU), Varanasi | ||
12:07 22mTalk | On Comparing Mutation Testing Tools through Learning-based Mutant Selection AST Milos Ojdanic University of Luxembourg, Ahmed Khanfir University of Luxembourg, Aayush Garg University of Luxembourg, Luxembourg, Renzo Degiovanni SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg |
11:00 - 11:45 | SE for MLMSR Data and Tool Showcase Track / MSR Technical Papers at Meeting Room 110 Chair(s): Sarah Nadi University of Alberta | ||
11:00 12mTalk | AutoML from Software Engineering Perspective: Landscapes and ChallengesDistinguished Paper Award MSR Technical Papers Chao Wang Peking University, Zhenpeng Chen University College London, UK, Minghui Zhou Peking University Pre-print | ||
11:12 12mTalk | Characterizing and Understanding Software Security Vulnerabilities in Machine Learning Libraries MSR Technical Papers Nima Shiri Harzevili York University, Jiho Shin York University, Junjie Wang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Wang York University, Nachiappan Nagappan Facebook | ||
11:24 6mTalk | DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing MSR Data and Tool Showcase Track Chengjie Lu Simula Research Laboratory, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory Pre-print | ||
11:30 6mTalk | NICHE: A Curated Dataset of Engineered Machine Learning Projects in Python MSR Data and Tool Showcase Track Ratnadira Widyasari Singapore Management University, Singapore, Zhou Yang Singapore Management University, Ferdian Thung Singapore Management University, Sheng Qin Sim Singapore Management University, Singapore, Fiona Wee Singapore Management University, Singapore, Camellia Lok Singapore Management University, Singapore, Jack Phan Singapore Management University, Singapore, Haodi Qi Singapore Management University, Singapore, Constance Tan Singapore Management University, Singapore, Qijin Tay Singapore Management University, Singapore, David Lo Singapore Management University | ||
11:36 6mTalk | PTMTorrent: A Dataset for Mining Open-source Pre-trained Model Packages MSR Data and Tool Showcase Track Wenxin Jiang Purdue University, Nicholas Synovic Loyola University Chicago, Purvish Jajal Purdue University, Taylor R. Schorlemmer Purdue University, Arav Tewari Purdue University, Bhavesh Pareek Purdue University, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory, James C. Davis Purdue University Pre-print |
11:00 - 12:30 | Session 2MOBILESoft Research Track at Meeting Room 111 Chair(s): Jordan Samhi University of Luxembourg | ||
11:00 25mPaper | Analysis of Library Dependency Networks of Package Managers Used in iOS MOBILESoft Research Track Kristiina Rahkema University of Tartu, Dietmar Pfahl University of Tartu, Rudolf Ramler Software Competence Center Hagenberg Pre-print | ||
11:25 25mPaper | FirmwareDroid: Towards Automated Static-Analysis of Pre-Installed Android Apps MOBILESoft Research Track Thomas Sutter Zurich University of Applied Science/University of Zurich, Bernhard Tellenbach Armasuisse Cyber-Defence Campus | ||
11:50 15mPaper | Vulnerability Propagation in Package Managers Used in iOS Development MOBILESoft Research Track Pre-print | ||
12:05 10mTalk | Q&A MOBILESoft Research Track |
11:00 - 12:30 | |||
11:30 10mDay opening | Opening DeepTest | ||
11:40 50mKeynote | Testing Autonomous Driving Systems DeepTest Baishakhi Ray Columbia University |
11:50 - 12:35 | Documentation + Q&A IMSR Data and Tool Showcase Track / MSR Technical Papers at Meeting Room 109 Chair(s): Ahmad Abdellatif Concordia University | ||
11:50 12mTalk | Evaluating Software Documentation Quality MSR Technical Papers | ||
12:02 12mTalk | What Do Users Ask in Open-Source AI Repositories? An Empirical Study of GitHub Issues MSR Technical Papers Zhou Yang Singapore Management University, Chenyu Wang Singapore Management University, Jieke SHI Singapore Management University, Thong Hoang CSIRO's Data61, Pavneet Singh Kochhar Microsoft, Qinghua Lu CSIRO’s Data61, Zhenchang Xing , David Lo Singapore Management University | ||
12:14 12mTalk | PICASO: Enhancing API Recommendations with Relevant Stack Overflow Posts MSR Technical Papers Ivana Clairine Irsan Singapore Management University, Ting Zhang Singapore Management University, Ferdian Thung Singapore Management University, Kisub Kim Singapore Management University, David Lo Singapore Management University | ||
12:26 6mTalk | GIRT-Data: Sampling GitHub Issue Report Templates MSR Data and Tool Showcase Track Nafiseh Nikehgbal Sharif University of Technology, Amir Hossein Kargaran LMU Munich, Abbas Heydarnoori Bowling Green State University, Hinrich Schütze LMU Munich Pre-print |
12:30 - 13:45 | |||
12:30 75mLunch | Lunch Catering |
12:30 - 13:45 | |||
12:30 75mLunch | EDI Welcome Reception Social Events |
13:30 - 15:15 | |||
13:30 5mDay opening | Opening AIOps | ||
13:35 45mKeynote | Unlock the Power of Managing Cloud Health with AIOps AIOps | ||
14:20 40mTalk | Automated Fault Detection for Software Systems through Log Intelligence AIOps Hongyu Zhang The University of Newcastle |
13:45 - 15:15 | |||
13:45 30mTalk | Business-aligned approach to prioritizing and servicing technical debt of cloud applications TechDebt Industry Track | ||
14:15 45mPanel | Panel Discussion TechDebt Plenary | ||
15:00 15mDay closing | Conference Closing TechDebt Plenary |
13:45 - 15:15 | |||
13:45 30mPaper | A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids FormaliSE Ahmed Nagy Abdelkhalek Mansour Politecnico di Milano, Samuele Grillo Politecnico di Milano, Enrico Ragaini ABB italy, Matteo Rossi Politecnico di Milano | ||
14:15 30mPaper | A Verified UAV Flight Plan Generator FormaliSE Baptiste Pollien ISAE-SUPAERO, Christophe Garion ISAE-SUPAERO, Gautier Hattenberger ENAC, Pierre Roux ONERA, ISAE, Xavier Thirioux ISAE-SUPAERO |
13:45 - 15:15 | Industry Talks 2 and Panel DiscussionICSSP at Meeting Room 104 Chair(s): Gayan Benedict University of Technology Sydney | ||
13:45 20mIndustry talk | Achieving Business Success - A Framework for Software Delivery of Emerging Technologies ICSSP | ||
14:05 20mIndustry talk | Improve Software and System Process of Cloud Serverless Architectures through Automated Testing with AI ICSSP | ||
14:25 50mPanel | Panel Discussion ICSSP |
13:45 - 15:15 | Session 2: Digital twins and non-functional propertiesSEAMS Research Track / SEAMS Artifact Track at Meeting Room 105 Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam | ||
13:45 25mPaper | Dynamic Runtime Integration of New Models in Digital Twins SEAMS Research Track | ||
14:10 25mPaper | Adaptive Controllers and Digital Twin for Self-Adaptive Robotic Manipulators SEAMS Research Track Farid Edrisi Linnaeus University, Diego Pérez Linnaeus University, Mauro Caporuscio Linnaeus University, Samuele Giussani Linnaeus University | ||
14:35 25mPaper | Towards a Robust On-line Performance Model Identification for Change Impact Prediction SEAMS Research Track | ||
15:00 15mShort-paper | Adaptively Managing Reliability of Machine Learning Perception under Changing Operating Conditions SEAMS Research Track |
13:45 - 15:15 | Human Aspects, Testing and LogsICPC Tool Demonstration / ICPC Discussion / ICPC Journal First / ICPC Early Research Achievements (ERA) / ICPC Research at Meeting Room 106 Chair(s): Michael J. Decker Bowling Green State University | ||
13:45 9mFull-paper | Understanding initial API comprehension ICPC Research | ||
13:54 5mShort-paper | Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance ICPC Early Research Achievements (ERA) Giovanna Broccia ISTI-CNR, FMT Lab, Alessio Ferrari CNR-ISTI, Maurice ter Beek ISTI-CNR, Pisa, Italy, Walter Cazzola Università degli Studi di Milano, Luca Favali University of Milan, Francesco Bertolotti | ||
13:59 5mShort-paper | Conversation Disentanglement As-a-Service ICPC Tool Demonstration Edoardo Riggio Software Institute - USI, Lugano, Marco Raglianti Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano | ||
14:04 5mShort-paper | Slicito: Using Computational Notebooks for Program Comprehension ICPC Tool Demonstration | ||
14:09 9mTalk | Selection of human evaluators for design smell detection using dragonfly optimization algorithm: An empirical study ICPC Journal First Sultan M. Al Khatib Department of Software Engineering, Prince Abdullah bin Ghazi Faculty of Information and Communication Technology, Al-Balqa Applied University (BAU), Al-Salt, 19117, Jordan, Khalid Alkharabsheh Department of Software Engineering, Prince Abdullah bin Ghazi Faculty of Information and Communication Technology, Al-Balqa Applied University (BAU), Al-Salt, 19117, Jordan, Sadi Alawadi Center for Applied Intelligent Systems Research, School of Information Technology, Halmstad University, 30118, Halmstad, Sweden | ||
14:18 5mShort-paper | SYN: Ultra-Scale Software Evolution Comprehension ICPC Tool Demonstration Gianlorenzo Occhipinti Software Institute, USI - Lugano, Switzerland, Csaba Nagy Software Institute - USI, Lugano, Roberto Minelli Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano | ||
14:23 5mShort-paper | Microusity: A testing tool for Backends for Frontends (BFF) Microservice Systems ICPC Tool Demonstration Pattarakrit Rattanukul Mahidol University, Chansida Makaranond Mahidol University, Pumipat Watanakulcharus Mahidol University, Chaiyong Ragkhitwetsagul Mahidol University, Thailand, Tanapol Nearunchorn Lineman Wongnai, Vasaka Visoottiviseth Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University | ||
14:28 5mShort-paper | WebEV: A Dataset on the Behavior of Testers for Web Application End to End Testing ICPC Early Research Achievements (ERA) Fuad Mridha University of Dhaka, Kazi Sakib Institute of Information Technology, University of Dhaka | ||
14:33 5mShort-paper | Towards a Classification of Log Parsing Errors ICPC Early Research Achievements (ERA) Issam Sedki Concordia University, Wahab Hamou-Lhadj Concordia University, Montreal, Canada, Otmane Ait-Mohamed Concordia University, Naser Ezzati Jivan | ||
14:38 37mPanel | Discussion 3 ICPC Discussion |
13:45 - 15:15 | |||
13:45 15mPaper | ROMoSu: flexible runtime monitoring support for ROS-based applications RoSE A: Marco Stadler Johannes Kepler University Linz, A: Michael Vierhauser Johannes Kepler University Linz Pre-print | ||
14:00 15mPaper | EzSkiROS: a case study on embedded robotics DSLs to catch bugs early RoSE A: Momina Rizwan Lund University, A: Ricardo Caldas Chalmers, A: Christoph Reichenbach Lund University, A: Matthias Mayr Lund University, Sweden & WASP | ||
14:15 15mPaper | Augmenting robot software development with flexbot RoSE A: Paulius Daubaris University of Helsinki, A: Juhana Helovuo Atostek Oy, A: Niko Mäkitalo University of Helsinki, Finland | ||
14:30 45mOther | Structured Discussion (Part 1) RoSE |
13:45 - 14:15 | |||
13:45 30mTalk | MIP #2: The Impact of Tangled Code Changes MSR MIP Award |
13:45 - 15:15 | |||
13:45 25mPaper | Understanding the Impact of Fingerprinting in Android Hybrid Apps MOBILESoft Research Track Abhishek Tiwari University of Passau, Germany, Jyoti Prakash University of Passau, Alimerdan Rahimov University of Passau, Germany, Christian Hammer University of Passau | ||
14:25 40mTalk | Leaders Forum Talk - Towards Data-Driven Mobile App Visual Testing MOBILESoft Research Track Chunyang Chen Monash University | ||
15:05 10mTalk | Q&A MOBILESoft Research Track |
13:45 - 15:15 | |||
13:45 20mTalk | Metamorphic Testing of Machine Translation Models using Back Translation DeepTest | ||
14:05 20mTalk | A Method of Identifying Causes of Prediction Errors to Accelerate MLOps DeepTest | ||
14:25 20mTalk | DeepSHAP Summary for Adversarial Example Detection DeepTest | ||
14:45 20mTalk | DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks DeepTest |
14:20 - 15:15 | Language ModelsMSR Technical Papers at Meeting Room 109 Chair(s): Patanamon Thongtanunam University of Melbourne | ||
14:20 12mTalk | On Codex Prompt Engineering for OCL Generation: An Empirical Study MSR Technical Papers Seif Abukhalaf Polytechnique Montreal, Mohammad Hamdaqa Polytechnique Montréal, Foutse Khomh Polytechnique Montréal | ||
14:32 12mTalk | Cross-Domain Evaluation of a Deep Learning-Based Type Inference System MSR Technical Papers Bernd Gruner DLR Institute of Data Science, Tim Sonnekalb German Aerospace Center (DLR), Thomas S. Heinze Cooperative University Gera-Eisenach, Clemens-Alexander Brust German Aerospace Center (DLR) | ||
14:44 12mTalk | Enriching Source Code with Contextual Data for Code Completion Models: An Empirical Study MSR Technical Papers Tim van Dam Delft University of Technology, Maliheh Izadi Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print | ||
14:56 12mTalk | Model-Agnostic Syntactical Information for Pre-Trained Programming Language Models MSR Technical Papers Iman Saberi University of British Columbia Okanagan, Fatemeh Hendijani Fard University of British Columbia |
14:20 - 15:15 | Understanding DefectsMSR Registered Reports / MSR Data and Tool Showcase Track / MSR Technical Papers at Meeting Room 110 Chair(s): Matteo Paltenghi University of Stuttgart, Germany | ||
14:20 12mTalk | What Happens When We Fuzz? Investigating OSS-Fuzz Bug History MSR Technical Papers Brandon Keller Rochester Institute of Technology, Benjamin S. Meyers Rochester Institute of Technology, Andrew Meneely Rochester Institute of Technology | ||
14:32 12mTalk | An Empirical Study of High Performance Computing (HPC) Performance Bugs MSR Technical Papers Md Abul Kalam Azad University of Michigan - Dearborn, Nafees Iqbal University of Michigan - Dearborn, Foyzul Hassan University of Michigan - Dearborn, Probir Roy University of Michigan at Dearborn Pre-print | ||
14:44 6mTalk | Semantically-enriched Jira Issue Tracking Data MSR Data and Tool Showcase Track 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 Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki Pre-print | ||
14:50 6mTalk | An exploratory study of bug introducing changes: what happens when bugs are introduced in open source software? MSR Registered Reports Lukas Schulte Universitity of Passau, Anamaria Mojica-Hanke University of Passau and Universidad de los Andes, Mario Linares-Vasquez Universidad de los Andes, Steffen Herbold University of Passau | ||
14:56 6mTalk | HasBugs - Handpicked Haskell Bugs MSR Data and Tool Showcase Track | ||
15:02 6mTalk | An Empirical Study on the Performance of Individual Issue Label Prediction MSR Technical Papers |
15:15 - 15:45 | |||
15:15 30mCoffee break | Afternoon Tea Catering |
15:30 - 18:30 | |||
15:30 30mTalk | AIOps for Cloud: System Understanding, Anomaly Detection and Human Interaction AIOps Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
16:00 30mTalk | Log Analysis and LogPAI: The Past, The Present, and The Challenges AIOps Pinjia He Chinese University of Hong Kong at Shenzhen | ||
16:30 15mPaper | SoK: Machine Learning for Continuous Integration AIOps Ali Kazemi Arani , Mansooreh Zahedi The Univeristy of Melbourne, Triet Le Huynh Minh The University of Adelaide, Muhammad Ali Babar University of Adelaide | ||
16:45 15mPaper | Knowledge-based Intelligent System for IT Incident DevOps AIOps Salman Ahmed Virginia Polytechnic Institute and State University | ||
17:30 60mPanel | AI, SE, and System meet AIOps AIOps Chetan Bansal Microsoft Research |
15:45 - 17:15 | |||
14:45 30mDay closing | Closing FormaliSE |
15:45 - 17:15 | Registered Reports / Conference closingCHASE Registered Reports / CHASE Research Track at Meeting Room 103 Chair(s): Maria Teresa Baldassarre Department of Computer Science, University of Bari | ||
15:45 15mTalk | Deconstructing Sentimental Stack Overflow Posts Through Interviews: Exploring the Case of Software TestingRegistered Report CHASE Registered Reports Pre-print | ||
16:00 15mTalk | A Perspective on the Role of Human Behaviors in Software Development: Voice and SilenceRegistered Report CHASE Registered Reports Mary Sánchez-Gordón Østfold University College, Ricardo Colomo-Palacios Universidad Politécnica de Madrid, Muhammad Azeem Akbar LUT University, Monica Kristiansen Holone Østfold University College Pre-print | ||
16:15 15mTalk | A Network Perspective on the Influence of Code Review Bots on the Structure of Developer CollaborationsRegistered Report CHASE Registered Reports Leonore Röseler Department of Informatics, University of Zurich, Ingo Scholtes Chair of Computer Science XV - Machine Learning for Complex Networks, Julius-Maximilians-Universität Würzburg, Christoph Gote Chair of Systems Design, ETH Zurich Pre-print | ||
16:30 30mPanel | Discussion and feedback on registered protocols CHASE Registered Reports S: Raula Gaikovina Kula Nara Institute of Science and Technology, S: Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), S: Helen Sharp The Open University, S: Rashina Hoda Monash University | ||
17:00 15mDay closing | Conference closing & Awards ceremony CHASE Research Track Igor Steinmacher Northern Arizona University |
15:45 - 17:15 | |||
15:45 15mShort-paper | Characterizing The Impact of Culture on Agile Methods: The MoCA Model ICSSP Michael Neumann University of Applied Sciences & Arts Hannover, Klaus Schmid Stiftung University Hildesheim, Lars Baumann Pre-print | ||
16:00 15mShort-paper | Towards Sustainable Software for Public Sector Information Systems ICSSP Reetta-Kaisa Ghezzi , Aapo Koski , Janne Lautanala , Mikko Lehtisalo , Manu Setälä , Tommi Mikkonen University of Jyvaskyla | ||
16:15 15mShort-paper | Towards Better Code Reviews: Using Mutation Testing to Improve Reviewer Attention ICSSP Ziya Mukhtarov , Mannan Abdul , Mokhlaroyim Raupova , Javid Baghirov , Osama Tanveer , Haluk Altunel , Eray Tüzün Bilkent University | ||
16:30 30mDay closing | Day 2 Wrap Up ICSSP |
15:45 - 17:15 | Session 3: Community DebateSEAMS Research Track / SEAMS Artifact Track at Meeting Room 105 Chair(s): Jon Whittle CSIRO's Data61 and Monash University | ||
15:45 90mPanel | Are the solutions developed by the self-adaptive systems community mature enough for industrial adoption? SEAMS Research Track |
15:45 - 17:15 | Code Summarization and VisualizationICPC Replications and Negative Results (RENE) / ICPC Discussion / ICPC Research at Meeting Room 106 Chair(s): Banani Roy University of Saskatchewan, Akhila Sri Manasa Venigalla IIT Tirupati | ||
15:45 9mFull-paper | An Extensive Study of the Structure Features in Transformer-based Code Semantic Summarization ICPC Research Kang Yang , Xinjun Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology, Yihao Qin National University of Defense Technology, Yao Lu National University of Defense Technology, Tanghaoran Zhang , Kamal Al-Sabahi University Of Technology and Applied Sciences-ibra Pre-print | ||
15:54 9mFull-paper | Label Smoothing Improves Neural Source Code Summarization ICPC Research Sakib Haque University of Notre Dame, Aakash Bansal University of Notre Dame, Collin McMillan University of Notre Dame Pre-print | ||
16:03 9mFull-paper | Interpretation-based Code Summarization ICPC Research Mingyang Geng National University of Defense Technology, Shangwen Wang National University of Defense Technology, Dezun Dong NUDT, Haotian Wang National University of Defense Technolog, Shaomeng Cao Peng Cheng Laboratory, Kechi Zhang Peking University, China, Zhi Jin Peking University Pre-print | ||
16:12 9mFull-paper | Naturalness in Source Code Summarization. How Significant is it? ICPC Replications and Negative Results (RENE) | ||
16:21 9mFull-paper | Comparing 2D and Augmented Reality Visualizations for Microservice System Understandability: A Controlled Experiment ICPC Research Amr Elsayed Baylor University, Tomas Cerny Baylor University, Davide Taibi Tampere University , Sira Vegas Universidad Politecnica de Madrid DOI Pre-print | ||
16:30 9mFull-paper | ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration ICPC Research Shuai Fu Monash University, Tim Dwyer Monash University, Peter J. Stuckey Monash University, Jackson Wain Monash University, Jesse Linossier Monash University Pre-print | ||
16:39 36mPanel | Discussion 4 ICPC Discussion |
15:45 - 17:15 | |||
15:45 22mTalk | Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules AST Patrick Stöckle Technical University of Munich (TUM) / Siemens AG, Michael Sammereier Technical University of Munich, Bernd Grobauer Siemens AG, Alexander Pretschner Technical University of Munich Pre-print | ||
16:07 22mTalk | Cross-coverage testing of functionally equivalent programs AST Antonia Bertolino National Research Council, Italy, Guglielmo De Angelis CNR-IASI, Felicita Di Giandomenico ISTI-CNR, Francesca Lonetti CNR-ISTI Pre-print | ||
16:30 22mTalk | Towards a Review on Simulated ADAS/AD Testing AST |
15:45 - 17:15 | |||
15:45 75mOther | Structured Discussion (Part 2) RoSE | ||
17:00 15mDay closing | Wrap up and concluding remarks RoSE |
15:45 - 16:30 | Tutorial #1MSR Tutorials at Meeting Room 109 Chair(s): Yuan Tian Queens University, Kingston, Canada | ||
15:45 45mTalk | Tutorial: Recognizing Developers' Emotions Using Non-invasive Biometrics Sensors MSR Tutorials Nicole Novielli University of Bari |
15:45 - 17:15 | Session 4MOBILESoft Research Track / MOBILESoft Tools and Datasets at Meeting Room 111 Chair(s): Xiaoyu Sun Australian National University, Australia | ||
15:45 25mPaper | Native vs Web Apps: Comparing the Energy Consumption and Performance of Android Apps and their Web Counterparts MOBILESoft Research Track Ruben Horn Vrije Universiteit Amsterdam, Abdellah Lahnaoui Vrije Universiteit Amsterdam, Edgardo Reinoso Vrije Universiteit Amsterdam, Sicheng Peng Vrije Universiteit Amsterdam, Vadim Isakov Vrije Universiteit Amsterdam, Tanjina Islam Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam Pre-print | ||
16:10 15mPaper | Ebserver: Automating Resource-Usage Data Collection of Android Applications MOBILESoft Tools and Datasets Wellington de Oliveira Júnior University of Lisbon, Bernardo de Moraes Santana Júnior , Fernando Castor Utrecht University & Federal University of Pernambuco, João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal | ||
16:25 40mTalk | Leaders Forum Talk - Discovering Requirements Using the App Store: when automation is not enough MOBILESoft Research Track Paola Spoletini Kennesaw State University | ||
17:05 10mTalk | Q&A MOBILESoft Research Track |
15:45 - 17:15 | |||
15:45 50mKeynote | Testing Generative Large Language Model: Mission Impossible or Where Lies the Path? DeepTest Zhenchang Xing CSIRO’s Data61; Australian National University | ||
16:35 30mPanel | Panel DeepTest | ||
17:05 10mDay closing | Closing DeepTest |
16:35 - 17:20 | Ethics & EnergyMSR Technical Papers / MSR Registered Reports at Meeting Room 109 Chair(s): Arumoy Shome Delft University of Technology | ||
16:35 12mTalk | Energy Consumption Estimation of API-usage in Mobile Apps via Static Analysis MSR Technical Papers Abdul Ali Bangash University of Alberta, Canada, Qasim Jamal FAST National University, Kalvin Eng University of Alberta, Karim Ali University of Alberta, Abram Hindle University of Alberta Pre-print | ||
16:47 12mTalk | An Exploratory Study on Energy Consumption of Dataframe Processing Libraries MSR Technical Papers Pre-print | ||
16:59 6mTalk | Understanding issues related to personal data and data protection in open source projects on GitHub MSR Registered Reports Anne Hennig Karlsruhe Institute of Technology, Lukas Schulte Universitity of Passau, Steffen Herbold University of Passau, Oksana Kulyk IT University of Copenhagen, Denmark, Peter Mayer University of Southern Denmark | ||
17:05 12mTalk | Whistleblowing and Tech on Twitter MSR Technical Papers Laura Duits Vrije Universiteit Amsterdam, Isha Kashyap Vrije Universiteit Amsterdam, Joey Bekkink Vrije Universiteit Amsterdam, Kousar Aslam Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam |
16:35 - 17:20 | SecurityMSR Technical Papers / MSR Data and Tool Showcase Track at Meeting Room 110 Chair(s): Chanchal K. Roy University of Saskatchewan | ||
16:35 12mTalk | UNGOML: Automated Classification of unsafe Usages in Go MSR Technical Papers Anna-Katharina Wickert TU Darmstadt, Germany, Clemens Damke University of Munich (LMU), Lars Baumgärtner Technische Universität Darmstadt, Eyke Hüllermeier University of Munich (LMU), Mira Mezini TU Darmstadt Pre-print File Attached | ||
16:47 12mTalk | Connecting the .dotfiles: Checked-In Secret Exposure with Extra (Lateral Movement) Steps MSR Technical Papers Gerhard Jungwirth TU Wien, Aakanksha Saha TU Wien, Michael Schröder TU Wien, Tobias Fiebig Max-Planck-Institut für Informatik, Martina Lindorfer TU Wien, Jürgen Cito TU Wien Pre-print | ||
16:59 12mTalk | MANDO-HGT: Heterogeneous Graph Transformers for Smart Contract Vulnerability Detection MSR Technical Papers Hoang H. Nguyen L3S Research Center, Leibniz Universität Hannover, Hannover, Germany, Nhat-Minh Nguyen Singapore Management University, Singapore, Chunyao Xie L3S Research Center, Leibniz Universität Hannover, Germany, Zahra Ahmadi L3S Research Center, Leibniz Universität Hannover, Hannover, Germany, Daniel Kudenko L3S Research Center, Leibniz Universität Hannover, Germany, Thanh-Nam Doan Independent Researcher, Atlanta, Georgia, USA, Lingxiao Jiang Singapore Management University Pre-print Media Attached | ||
17:11 6mTalk | SecretBench: A Dataset of Software Secrets MSR Data and Tool Showcase Track Setu Kumar Basak North Carolina State University, Lorenzo Neil North Carolina State University, Bradley Reaves North Carolina State University, Laurie Williams North Carolina State University Pre-print |
17:00 - 17:15 | |||
17:15 - 18:45 | Data & Model OptimizationCAIN Papers / CAIN Posters / CAIN Industrial Talks at Virtual - Zoom for CAIN Chair(s): Justus Bogner University of Stuttgart Click here to Join us over zoomClick here to watch the session recording on Youtube | ||
17:15 15mShort-paper | Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects CAIN Papers Pre-print | ||
17:30 15mShort-paper | Dataflow graphs as complete causal graphs CAIN Papers Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, Siyuan Guo Max Planck Institute for Intelligent Systems, Bernhard Schölkopf MPI Tuebingen, Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge Pre-print | ||
17:45 20mLong-paper | Uncovering Energy-Efficient Practices in Deep Learning Training: Preliminary Steps Towards Green AIDistinguished paper Award Candidate CAIN Papers Tim Yarally Delft University of Technology, Luís Cruz Delft University of Technology, Daniel Feitosa University of Groningen, June Sallou Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print | ||
18:05 15mShort-paper | Prevalence of Code Smells in Reinforcement Learning Projects CAIN Papers Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Christian Cabrera Department of Computer Science and Technology, Univesity of Cambridge Pre-print Media Attached | ||
18:20 20mLong-paper | Automotive Perception Software Development: An Empirical Investigation into Data, Annotation, and Ecosystem Challenges CAIN Papers Hans-Martin Heyn University of Gothenburg & Chalmers University of Technology, Khan Mohammad Habibullah University of Gothenburg, Eric Knauss Chalmers | University of Gothenburg, Jennifer Horkoff Chalmers and the University of Gothenburg, Markus Borg CodeScene, Alessia Knauss Zenseact AB, Polly Jing Li Kognic AB Pre-print |
17:30 - 19:00 | |||
17:30 90mMeeting | SEAMS SC Meeting SEAMS Research Track |
18:00 - 21:00 | |||
18:00 3hSocial Event | RoSE workshop dinner at Bang Pop, South Wharf 18:00 - 21:00 RoSE |
18:00 - 21:00 | |||
18:00 3hMeeting | MSR Dinner at Cargo Hall, South Wharf MSR Technical Papers |
18:00 - 21:00 | |||
18:00 3hSocial Event | Social Dinner at Meat Market, South Wharf AST |
19:00 - 22:00 | SEAMS BanquetSEAMS Research Track / SEAMS Artifact Track at Offsite Banquet at BoHo South Wharf: https://thebohemian.com.au/ | ||
19:00 3hDinner | SEAMS Banquet SEAMS Research Track |
19:00 - 20:30 | Training & LearningCAIN Papers at Virtual - Zoom for CAIN Chair(s): Rrezarta Krasniqi University of North Texas Click here to Join us over zoomClick here to watch the session recording on YouTube | ||
19:00 20mLong-paper | Replay-Driven Continual Learning for the Industrial Internet of Things CAIN Papers Sagar Sen , Simon Myklebust Nielsen University of Oslo, Norway, Erik Johannes Husom SINTEF Digital, Arda Goknil SINTEF Digital, Simeon Tverdal SINTEF Digital, Leonardo Sastoque Pinilla Centro de Fabricación Avanzada Aeronáutica (CFAA) | ||
19:20 20mLong-paper | Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment CAIN Papers Qiang Hu University of Luxembourg, Yuejun GUo University of Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Xiaofei Xie Singapore Management University, Wei Ma Nanyang Technological University, Singapore, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg | ||
19:40 20mLong-paper | Exploring Hyperparameter Usage and Tuning in Machine Learning ResearchDistinguished paper Award Candidate CAIN Papers Sebastian Simon Leipzig University, Nikolay Kolyada , Christopher Akiki Leipzig University, Martin Potthast Leipzig University, Benno Stein Bauhaus-University Weimar, Norbert Siegmund Leipzig University Pre-print | ||
20:00 15mShort-paper | An Initial Analysis of Repair and Side-effect Prediction for Neural Networks CAIN Papers Yuta Ishimoto Kyushu University, Ken Matsui Kyushu University, Masanari Kondo Kyushu University, Naoyasu Ubayashi Kyushu University, Yasutaka Kamei Kyushu University Pre-print |
20:45 - 22:15 | Poster - OnlineCAIN Posters / CAIN Papers at Virtual - Zoom for CAIN Chair(s): Mona Rahimi Northern Illinois University, Karthik Vaidhyanathan IIIT Hyderabad Click here to Join us over zoomClick Here to watch the session recording on YouTube | ||
20:45 6mPoster | AI Living Lab: Quality Assurance for AI-based Health systems CAIN Posters | ||
20:51 6mPoster | AI Planning Software Development Lifecycle CAIN Posters Ilche Georgievski University of Stuttgart, Germany File Attached | ||
20:57 6mPoster | Algorithm Debt: Challenges and Future Paths CAIN Posters Emmanuel Iko-Ojo Simon Australian National University, Melina Vidoni Australian National University, Fatemeh Hendijani Fard University of British Columbia | ||
21:03 6mPoster | Enabling Machine Learning in Software Architecture Frameworks CAIN Posters Armin Moin University of California, Santa Barbara, Atta Badii University of Reading, United Kingdom, Stephan G¨unnemann School of Computation, Information and Technology, Technical University of Munich, Munich, Germany, Moharram Challenger University of Antwerp DOI Pre-print | ||
21:09 6mPoster | Extensible Modeling Framework for Reliable Machine Learning System Analysis CAIN Posters Jati Hiliamsyah Husen Waseda University, Hironori Washizaki Waseda University, Hnin Thandar Tun Waseda University, Japan, Nobukazu Yoshioka Waseda University, Japan, Yoshiaki Fukazawa Waseda University, Hironori Takeuchi Musashi University, Hiroshi Tanaka Fujitsu Limited, Tokyo, Japan, Kazuki Munakata Fujitsu Limited, Tokyo, Japan | ||
21:15 6mPoster | How Federated Machine Learning Helps Increase the Mutual Benefit of Data-Sharing Ecosystems CAIN Posters Iva Krasteva Sofia University, GATE Institute, Boris Kraychev GATE Institute, Ensiye Kiyamousavi GATE Institute | ||
21:21 6mPoster | Maintaining and Monitoring AIOps Models Against Concept Drift CAIN Posters Lorena Poenaru-Olaru TU Delft, Luís Cruz Delft University of Technology, Jan S. Rellermeyer Leibniz University Hannover, Arie van Deursen Delft University of Technology | ||
21:27 6mPoster | Reproducibility Requires Consolidated Artifacts CAIN Posters Iordanis Fostiropoulos University of Southern California, USA, Bowman Brown University of Southern California, USA, Laurent Itti University of Southern California, USA | ||
21:33 6mPoster | Tenet: A Flexible Framework for Machine Learning-based Vulnerability Detection CAIN Posters Eduard Costel Pinconschi Instituto Superior Técnico, University of Lisboa & INESC-ID, Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, Chi Zhang , Rui Abreu Faculty of Engineering, University of Porto, Hakan Erdogmus Carnegie Mellon University, Limin Jia Carnegie Mellon University | ||
21:39 6mPoster | Towards Understanding Machine Learning Testing in Practise CAIN Posters Arumoy Shome Delft University of Technology, Luís Cruz Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print | ||
21:45 30mBreak | Break Out Session - Online CAIN Papers |
22:30 - 23:30 | Keynote - Dr. Ken PowerCAIN Papers at Virtual - Zoom for CAIN Chair(s): Helena Holmström Olsson Malmö University Click here to Join us over zoomClick Here to watch the session recording on Youtube | ||
22:30 60mKeynote | AI Engineering in Autonomous Vehicle Development - Ken Power CAIN Papers Ken Power Motional |
Tue 16 MayDisplayed time zone: Hobart change
09:00 - 10:30 | |||
09:00 90mDay opening | Welcome, introductions, panel DS - Doctoral Symposium |
09:00 - 10:30 | |||
09:00 30mTalk | Schedule, set the scene + introductions New Faculty Symposium | ||
09:30 60mTalk | Michele Lanza + Sarah Nadi New Faculty Symposium |
09:00 - 10:30 | Introduction & Ice BreakingSMeW - Student Mentoring Workshop at Meeting Room 103 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 - 10:30 | |||
11:00 15mDay opening | Opening APR |
09:00 - 10:30 | Keynote 2 & Session 4: Self-optimization and self-evolutionSEAMS Research Track / SEAMS Artifact Track at Meeting Room 105 Chair(s): Radu Calinescu University of York, UK, Myra Cohen Iowa State University, Pooyan Jamshidi University of South Carolina | ||
09:00 60mKeynote | SE4LESAS: Software Engineering for Learning-Enabled Self-Adaptive Systems SEAMS Research Track Betty H.C. Cheng Michigan State University | ||
10:00 15mShort-paper | From Self-Adaptation to Self-Evolution SEAMS Research Track Pre-print | ||
10:15 15mShort-paper | Self-Optimizing Agents Using Mixed Initiative Behavior Trees SEAMS Research Track |
09:00 - 10:30 | |||
09:00 30mTalk | AST Day II Welcome AST | ||
09:30 60mKeynote | Automatic for the People AST Media Attached |
09:00 - 10:30 | |||
09:00 45mDay opening | Introductions SEENG Jonathan Bell Northeastern University, Stephan Krusche Technische Universität München, Bastian Tenbergen State University of New York at Oswego | ||
09:45 15mTalk | Improving the Quality of Commit Messages in Students’ Projects SEENG Pre-print | ||
10:00 15mTalk | Not Just a Matter of Style: Does Aesthetics Have a Place in Software Engineering Curriculum? SEENG | ||
10:15 15mTalk | "We Need To Talk About ChatGPT": The Future of AI and Higher Education SEENG Michael Neumann University of Applied Sciences & Arts Hannover, Maria Rauschenberger University of Applied Sciences Emden/Leer, Eva-Maria Schön University of Applied Sciences Emden/Leer DOI Pre-print File Attached |
09:00 - 09:45 | |||
09:00 45mKeynote | Towards Code-Aware AI Models for Code MSR Keynotes |
09:00 - 10:30 | Session 5MOBILESoft Research Track at Meeting Room 111 Chair(s): Mattia Fazzini University of Minnesota, Jacques Klein University of Luxembourg, Li Li Beihang University, Lili Wei McGill University | ||
09:30 60mTalk | Why vulnerability analysis for Android needs to change fundamentally MOBILESoft Research Track Steven Arzt Fraunhofer SIT; ATHENE |
09:50 - 10:30 | Tutorial #2MSR Tutorials at Meeting Room 109 Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
09:50 40mTutorial | Tutorial: Mining and Analysing Collaboration in git Repositories with git2net MSR Tutorials Christoph Gote Chair of Systems Design, ETH Zurich |
09:50 - 10:30 | Mining ChallengeMSR Mining Challenge at Meeting Room 110 Chair(s): Audris Mockus The University of Tennessee | ||
09:50 6mTalk | An Empirical Study to Investigate Collaboration Among Developers in Open Source Software (OSS) MSR Mining Challenge Weijie Sun University of Alberta, Samuel Iwuchukwu University of Alberta, Abdul Ali Bangash University of Alberta, Canada, Abram Hindle University of Alberta Pre-print | ||
09:56 6mTalk | Insights into Female Contributions in Open-Source Projects MSR Mining Challenge Arifa Islam Champa Idaho State University, Md Fazle Rabbi Idaho State University, Minhaz F. Zibran Idaho State University, Md Rakibul Islam University of Wisconsin - Eau Claire Pre-print | ||
10:02 6mTalk | The Secret Life of CVEs MSR Mining Challenge Piotr Przymus Nicolaus Copernicus University in Toruń, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Krzysztof Stencel University of Warsaw Pre-print | ||
10:08 6mTalk | Evolution of the Practice of Software Testing in Java Projects MSR Mining Challenge Anisha Islam Department of Computing Science, University of Alberta, Nipuni Tharushika Hewage Department of Computing Science, University of Alberta, Abdul Ali Bangash University of Alberta, Canada, Abram Hindle University of Alberta Pre-print | ||
10:14 6mTalk | Keep the Ball Rolling: Analyzing Release Cadence in GitHub Projects MSR Mining Challenge Oz Kilic Carleton University, Nathaniel Bowness University of Ottawa, Olga Baysal Carleton University Pre-print |
10:30 - 11:00 | |||
10:30 30mCoffee break | Morning Tea Catering |
11:00 - 12:30 | |||
11:00 90mTalk | Kevin Moran + Sonia Haiduc + Juergen Cito New Faculty Symposium |
11:00 - 12:30 | Presentations & Group Q&ASMeW - Student Mentoring Workshop at Meeting Room 103 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 - 12:30 | |||
11:15 15mTalk | Quick Repair of Semantic Errors for Debugging APR | ||
11:30 20mTalk | An Analysis of the Automatic Bug Fixing Performance of ChatGPT APR Dominik Sobania Johannes Gutenberg University Mainz, Martin Briesch Johannes Gutenberg University Mainz, Carol Hanna University College London, Justyna Petke University College London | ||
11:50 20mTalk | An Extensive Study on Model Architecture and Program Representation in the Domain of Learning-based Automated Program Repair APR Dániel Horváth Department of Software Engineering, University of Szeged, Szeged, Hungary, Viktor Csuvik Department of Software Engineering, MTA-SZTE Research Group on Artificial Intelligence, University of Szeged, Szeged, Hungary, Tibor Gyimóthy University of Szeged, Hungary, László Vidács University of Szeged, Hungary | ||
12:10 20mTalk | Mining Fix Patterns with Context Information for Automatic Program Repair APR Phan Thi Thanh Huyen Hitachi, Ltd., Research &Development Group, Kazuya Yasuda Hitachi, Ltd., Shinji Itoh Hitachi, Ltd., Research &Development Group | ||
12:30 90mLunch | Lunch APR |
11:00 - 12:30 | Session 5: Runtime decision-making and human in the loopSEAMS Research Track / SEAMS Artifact Track at Meeting Room 105 Chair(s): Amel Bennaceur The Open University, UK | ||
11:00 25mPaper | Runtime Verification of Self-Adaptive Systems with Changing Requirements SEAMS Research Track Marc Carwehl Humboldt-Universität zu Berlin, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Lars Grunske Humboldt-Universität zu Berlin Pre-print | ||
11:25 25mPaper | Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening SEAMS Research Track Simon Chu , Emma Shedden , Changjian Zhang Carnegie Mellon University, Rômulo Meira-Góes Carnegie Mellon University, Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University Pre-print | ||
11:50 15mShort-paper | Architecture-based Uncertainty Impact Analysis to ensure Confidentiality SEAMS Research Track Sebastian Hahner Karlsruhe Institute of Technology (KIT), Robert Heinrich Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
12:05 25mPaper | Preference Adaptation: user satisfaction is all you need! SEAMS Research Track NIANYU LI Peking University, China, Mingyue Zhang Peking University, China, Jialong Li Waseda University, Japan, Eunsuk Kang Carnegie Mellon University, Kenji Tei Waseda University Pre-print |
11:00 - 12:30 | Empirical Studies and RecommendationsICPC Research / ICPC Discussion / ICPC Early Research Achievements (ERA) / ICPC Journal First at Meeting Room 106 Chair(s): Issam Sedki Concordia University, Vittoria Nardone | ||
11:00 9mFull-paper | REMS: Recommending Extract Method Refactoring Opportunities via Multi-view Representation of Code Property Graph ICPC Research Di Cui , Qiangqiang Wang Xidian University, Siqi Wang , Jianlei Chi , Jianan Li Xidian University, Lu Wang Xidian University, Qingshan Li Xidian University | ||
11:09 9mFull-paper | Automating Method Naming with Context-Aware Prompt-Tuning ICPC Research Jie Zhu Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Lingwei Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Yang Institute of Software at Chinese Academy of Sciences, Xiaoxiao Ma Institute of Software, Chinese Academy of Sciences, Chun Zuo Sinosoft Pre-print | ||
11:18 9mFull-paper | Generation-based Code Review Automation: How Far Are We? ICPC Research XIN ZHOU Singapore Management University, Singapore, Kisub Kim Singapore Management University, Bowen Xu Singapore Management University, DongGyun Han Royal Holloway, University of London, Junda He Singapore Management University, David Lo Singapore Management University Pre-print | ||
11:27 9mFull-paper | Reanalysis of Empirical Data on Java Local Variables with Narrow and Broad Scope ICPC Research Dror Feitelson Hebrew University Pre-print | ||
11:36 9mTalk | Predicting vulnerability inducing function versions using node embeddings and graph neural networks ICPC Journal First ecem mine özyedierler Istanbul Technical University, Ayse Tosun Istanbul Technical University, Sefa Eren Sahin Faculty of Computer and Informatics Engineering, Istanbul Technical University | ||
11:45 5mShort-paper | Properly Offer Options to Improve the Practicality of Software Document Completion Tools ICPC Early Research Achievements (ERA) Zhipeng Cai School of Computer Science, Wuhan University, Songqiang Chen School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China Media Attached | ||
11:50 40mPanel | Discussion 6 ICPC Discussion |
11:00 - 12:30 | |||
11:00 22mTalk | On the Effect of Instrumentation on Test Flakiness AST Shawn Rasheed Universal College of Learning, Jens Dietrich Victoria University of Wellington, Amjed Tahir Massey University Pre-print | ||
11:22 22mTalk | Debugging Flaky Tests using Spectrum-based Fault Localization AST Pre-print | ||
11:45 22mTalk | FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning AST Amal Akli University of Luxembourg, Guillaume Haben University of Luxembourg, Sarra Habchi Ubisoft, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg | ||
12:07 22mTalk | Detecting Potential User-data Save & Export Losses due to Android App Termination AST Sydur Rahaman New Jersey Institute of Technology, Umar Farooq University of California at Riverside, Iulian Neamtiu New Jersey Institute of Technology, Zhijia Zhao University of California at Riverside |
11:00 - 12:30 | |||
11:00 15mTalk | Hey Teachers, Teach Those Kids Some Software Testing SEENG Pre-print | ||
11:15 15mTalk | ”Work in the morning instead of midnight” and other lessons learned in FinTech 512 SEENG | ||
11:30 15mTalk | Gamify-IT - A Web-Based Gaming Platform for Software Engineering Education SEENG Sandro Speth University of Stuttgart, Institute of Software Engineering, Leon Hofmeister University of Stuttgart, Uwe Breitenbücher Reutlingen University, Steffen Becker University of Stuttgart Media Attached File Attached | ||
11:45 15mTalk | Learning to Write User Stories with the 4C Model: Context, Card, Conversation, and Confirmation SEENG Cecile Peraire Carnegie Mellon University Silicon Valley File Attached | ||
12:00 15mTalk | Towards a Generic Model for Classifying Software into Correctness Levels and its Application to SQL SEENG Benard Wanjiru Radboud University Nijmegen, Patrick van Bommel Radboud University Nijmegen, Djoerd Hiemstra Radboud University Nijmegen |
11:00 - 11:45 | Documentation + Q&A IIMSR Technical Papers / MSR Data and Tool Showcase Track at Meeting Room 109 Chair(s): Maram Assi Queen's University | ||
11:00 12mTalk | Understanding the Role of Images on Stack Overflow MSR Technical Papers Dong Wang Kyushu University, Japan, Tao Xiao Nara Institute of Science and Technology, Christoph Treude University of Melbourne, Raula Gaikovina Kula Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Yasutaka Kamei Kyushu University Pre-print | ||
11:12 12mTalk | Do Subjectivity and Objectivity Always Agree? A Case Study with Stack Overflow Questions MSR Technical Papers Saikat Mondal University of Saskatchewan, Masud Rahman Dalhousie University, Chanchal K. Roy University of Saskatchewan Pre-print | ||
11:24 6mTalk | GiveMeLabeledIssues: An Open Source Issue Recommendation System MSR Data and Tool Showcase Track Joseph Vargovich Northern Arizona University, Fabio Marcos De Abreu Santos Northern Arizona University, USA, Jacob Penney Northern Arizona University, Marco Gerosa Northern Arizona University, Igor Steinmacher Northern Arizona University Pre-print Media Attached | ||
11:30 6mTalk | DocMine: A Software Documentation-Related Dataset of 950 GitHub Repositories MSR Data and Tool Showcase Track | ||
11:36 6mTalk | PENTACET data - 23 Million Code Comments and 500,000 SATD comments MSR Data and Tool Showcase Track Murali Sridharan University of Oulu, Leevi Rantala University of Oulu, Mika Mäntylä University of Oulu |
11:00 - 11:45 | Code SmellsMSR Technical Papers / MSR Industry Track / MSR Data and Tool Showcase Track at Meeting Room 110 Chair(s): Md Tajmilur Rahman Gannon University | ||
11:00 12mTalk | Don't Forget the Exception! Considering Robustness Changes to Identify Design Problems MSR Technical Papers Anderson Oliveira PUC-Rio, João Lucas Correia Federal University of Alagoas, Leonardo Da Silva Sousa Carnegie Mellon University, USA, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Daniel Coutinho PUC-Rio, Alessandro Garcia PUC-Rio, Willian Oizumi GoTo, Caio Barbosa UFAL, Anderson Uchôa Federal University of Ceará, Juliana Alves Pereira PUC-Rio Pre-print | ||
11:12 12mTalk | Pre-trained Model Based Feature Envy Detection MSR Technical Papers mawenhao Wuhan University, Yaoxiang Yu Wuhan University, xiaoming ruan Wuhan University, Bo Cai Wuhan University | ||
11:24 6mTalk | CLEAN++: Code Smells Extraction for C++ MSR Data and Tool Showcase Track Tom Mashiach Ben Gurion University of the Negev, Israel, Bruno Sotto-Mayor Ben Gurion University of the Negev, Israel, Gal Kaminka Bar Ilan University, Israel, Meir Kalech Ben Gurion University of the Negev, Israel | ||
11:30 6mTalk | DACOS-A Manually Annotated Dataset of Code Smells MSR Data and Tool Showcase Track Himesh Nandani Dalhousie University, Mootez Saad Dalhousie University, Tushar Sharma Dalhousie University Pre-print File Attached | ||
11:36 6mTalk | What Warnings Do Engineers Really Fix? The Compiler That Cried Wolf MSR Industry Track Gunnar Kudrjavets University of Groningen, Aditya Kumar Snap, Inc., Ayushi Rastogi University of Groningen, The Netherlands Pre-print |
11:00 - 12:30 | Session 6MOBILESoft Research Track / MOBILESoft Tools and Datasets at Meeting Room 111 Chair(s): Mattia Fazzini University of Minnesota, Jacques Klein University of Luxembourg, Li Li Beihang University, Lili Wei McGill University | ||
11:00 20mTalk | Awards MOBILESoft Research Track | ||
11:21 29mTalk | Achieving Energy Efficiency in Mobile Applications: Insights from our Most Influential Paper MOBILESoft Research Track Luís Cruz Delft University of Technology | ||
11:50 25mPaper | Reducing the Impact of Breaking Changes to Web Service Clients During Web API MOBILESoft Research Track Paul Schmiedmayer Technical University of Munich, Andreas Bauer Technical University of Munich, Bernd Bruegge TU Munich | ||
12:15 15mPaper | Issue-Labeler: an ALBERT-based Jira Plugin for Issue Classification MOBILESoft Tools and Datasets Waleed Alhindi Prince Mohammad Bin Fahd University, Abdulrahman Aleid Prince Mohammad Bin Fahd University, Ilyes Jenhani Prince Mohammad Bin Fahd University, Mohamed Wiem Mkaouer Rochester Institute of Technology |
11:00 - 12:30 | |||
11:00 90mMeeting | Executive Meeting Social Events |
11:50 - 12:35 | Development Tools & Practices IIMSR Data and Tool Showcase Track / MSR Industry Track / MSR Technical Papers / MSR Registered Reports at Meeting Room 109 Chair(s): Banani Roy University of Saskatchewan | ||
11:50 12mTalk | Automating Arduino Programming: From Hardware Setups to Sample Source Code Generation MSR Technical Papers Imam Nur Bani Yusuf Singapore Management University, Singapore, Diyanah Binte Abdul Jamal Singapore Management University, Lingxiao Jiang Singapore Management University Pre-print | ||
12:02 6mTalk | A Dataset of Bot and Human Activities in GitHub MSR Data and Tool Showcase Track Natarajan Chidambaram University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons | ||
12:08 6mTalk | Mining the Characteristics of Jupyter Notebooks in Data Science Projects MSR Registered Reports Morakot Choetkiertikul Mahidol University, Thailand, Apirak Hoonlor Mahidol University, Chaiyong Ragkhitwetsagul Mahidol University, Thailand, Siripen Pongpaichet Mahidol University, Thanwadee Sunetnanta Mahidol University, Tasha Settewong Mahidol University, Raula Gaikovina Kula Nara Institute of Science and Technology | ||
12:14 6mTalk | Optimizing Duplicate Size Thresholds in IDEs MSR Industry Track Konstantin Grotov JetBrains Research, Constructor University, Sergey Titov JetBrains Research, Alexandr Suhinin JetBrains, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research Pre-print | ||
12:20 12mTalk | Boosting Just-in-Time Defect Prediction with Specific Features of C Programming Languages in Code Changes MSR Technical Papers Chao Ni Zhejiang University, xiaodanxu College of Computer Science and Technology, Zhejiang university, Kaiwen Yang Zhejiang University, David Lo Singapore Management University |
11:50 - 12:35 | Software Libraries & EcosystemsMSR Technical Papers / MSR Industry Track / MSR Data and Tool Showcase Track at Meeting Room 110 Chair(s): Mehdi Keshani Delft University of Technology | ||
11:50 12mTalk | A Large Scale Analysis of Semantic Versioning in NPM MSR Technical Papers Donald Pinckney Northeastern University, Federico Cassano Northeastern University, Arjun Guha Northeastern University and Roblox Research, Jonathan Bell Northeastern University Pre-print | ||
12:02 12mTalk | Phylogenetic Analysis of Reticulate Software Evolution MSR Technical Papers Akira Mori National Institute of Advanced Industrial Science and Technology, Japan, Masatomo Hashimoto Chiba Institute of Technology, Japan | ||
12:14 6mTalk | PyMigBench: A Benchmark for Python Library Migration MSR Data and Tool Showcase Track Mohayeminul Islam University of Alberta, Ajay Jha North Dakota State University, Sarah Nadi University of Alberta, Ildar Akhmetov University of Alberta | ||
12:20 6mTalk | Determining Open Source Project Boundaries MSR Industry Track Sophia Vargas Google | ||
12:26 6mTalk | Intertwining Communities: Exploring Libraries that Cross Software Ecosystems MSR Technical Papers Kanchanok Kannee Nara Institute of Science and Technology, Raula Gaikovina Kula Nara Institute of Science and Technology, Supatsara Wattanakriengkrai Nara Institute of Science and Technology, Kenichi Matsumoto Nara Institute of Science and Technology Pre-print |
12:30 - 13:45 | |||
12:30 75mLunch | Lunch Catering |
12:30 - 13:45 | Lunch SocialSMeW - Student Mentoring Workshop at Meeting Room 103 Our room 103 is available for lunch! We invite all of our participants to mingle with each other in the same room and have fun over lunch :) | ||
12:30 - 13:45 | |||
12:30 75mLunch | Lunch round table SEENG |
12:30 - 13:45 | |||
12:30 75mMeeting | Executive Meeting Social Events |
12:30 - 13:45 | |||
12:30 75mMeeting | Executive Meeting Social Events |
13:45 - 15:15 | |||
13:45 90mTalk | Gail Murphy + David Rosenblum + Xin Peng New Faculty Symposium |
13:45 - 15:15 | Mentoring PodsSMeW - Student Mentoring Workshop at Meeting Room 103 Small mentoring pods led by many mentors based on different topics. Topics include (not limited to) Time Management & Work-life Balance, Mental Health, Research Career Path & Job Market, Communication & Presentation, Improving Visibility & Impact, Finding Suitable Advisors/Labs/Colloborators & Forming Relationships, International Students in a Foreign Country, Underrepresented Group, Small University and/or Department, etc. | ||
13:45 - 15:15 | |||
13:45 15mTalk | Program Repair Competition APR Ridwan Salihin Shariffdeen National University of Singapore, Martin Mirchev National University of Singapore, Abhik Roychoudhury National University of Singapore | ||
14:00 75mPanel | Panel Discussion: Future of APR: Challenges and directions APR Manish Motwani Georgia Institute of Technology, Xuan Bach D. Le The University of Melbourne, Abhik Roychoudhury National University of Singapore, Yingfei Xiong Peking University, Lingming Zhang University of Illinois at Urbana-Champaign | ||
15:15 20mTalk | FixEval: Execution-based Evaluation of Program Fixes for Programming Problems APR Md Mahim Anjum Haque Virginia Tech, Wasi Uddin Ahmad University of California, Los Angeles, Ismini Lourentzou Virginia Tech, Chris Brown Virginia Tech | ||
15:35 15mTalk | Beyond Code Generation: The Need for Type-Aware Language Models APR Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, José Nuno Macedo University of Minho, Kanae Tsushima National Institute of Informatics, Japan |
13:45 - 15:15 | Session 6: Self-adaptation of cyber-physical and mission-critical systemsSEAMS Research Track / SEAMS Artifact Track at Meeting Room 105 Chair(s): Genaina Rodrigues University of Brasilia | ||
13:45 25mPaper | Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis SEAMS Research Track Pre-print | ||
14:10 25mPaper | PlanIoT: A Framework for Adaptive Data Flow Management in IoT-enhanced Spaces SEAMS Research Track Houssam Hajj Hassan SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Georgios Bouloukakis SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Ajay Kattepur Ericsson Research, Denis Conan SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Djamel Belaïd | ||
14:35 25mPaper | Self-Adaptive Mechanisms for Misconfigurations in Small Uncrewed Aerial Systems SEAMS Research Track Salil Purandare , Urjoshi Sinha , Md Nafee Al Islam , Jane Cleland-Huang University of Notre Dame, Myra Cohen Iowa State University Pre-print | ||
15:00 15mPaper | SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles SEAMS Artifact Track Gustavo Rezende Silva Cognitive Robotics, Delft University of Technology, Juliane Päßler , Jeroen Zwanepol , Elvin Alberts , Silvia Lizeth Tapia Tarifa University of Oslo, Norway, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Einar Broch Johnsen University of Oslo, Carlos Hernández Corbato Delft University of Technology Pre-print |
13:45 - 15:15 | Programming Languages, Types, and ComplexityICPC Discussion / ICPC Research / ICPC Replications and Negative Results (RENE) / ICPC Journal First at Meeting Room 106 Chair(s): Vittoria Nardone | ||
13:45 9mFull-paper | How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python ICPC Research Wenjie Xu Nanjing University, Lin Chen Nanjing University, Chenghao Su Nanjing University, Yimeng Guo Nanjing University, Yanhui Li Nanjing University, Yuming Zhou Nanjing University, Baowen Xu Nanjing University | ||
13:54 9mFull-paper | Too Simple? Notions of Task Complexity used in Maintenance-based Studies of Programming Tools ICPC Research Patrick Rein University of Potsdam; Hasso Plattner Institute, Tom Beckmann Hasso Plattner Institute, Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Toni Mattis University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute | ||
14:03 9mFull-paper | Path Complexity Predicts Code Comprehension Effort ICPC Research Sofiane Dissem Harvey Mudd College, Eli Pregerson Harvey Mudd College, Adi Bhargava Harvey Mudd College, Josh Cordova Harvey Mudd College, Lucas Bang Harvey Mudd College | ||
14:12 5mShort-paper | Revisiting Deep Learning for Variable Type Recovery ICPC Replications and Negative Results (RENE) Pre-print | ||
14:17 9mTalk | Programming language implementations for context-oriented self-adaptive systems ICPC Journal First Nicolás Cardozo Universidad de los Andes, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium Link to publication DOI Media Attached | ||
14:26 9mFull-paper | Improving Code Search with Multi-Modal Momentum Contrastive Learning ICPC Research Zejian Shi Fudan University, Yun Xiong Fudan University, Yao Zhang Fudan University, Zhijie Jiang National University of Defense Technology, Jinjing Zhao National Key Laboratory of Science and Technology on Information System Security, Lei Wang National University of Defense Technology, Shanshan Li National University of Defense Technology Pre-print | ||
14:35 9mFull-paper | Revisiting Lightweight Compiler Provenance Recovery on ARM Binaries ICPC Replications and Negative Results (RENE) Pre-print | ||
14:44 31mPanel | Discussion 7 ICPC Discussion |
13:45 - 15:15 | |||
13:45 22mTalk | Orchestration Strategies for Regression Test Suites AST Renan Greca Gran Sasso Science Institute, ISTI-CNR, Breno Miranda Federal University of Pernambuco, Antonia Bertolino National Research Council, Italy Pre-print | ||
14:07 22mTalk | Evaluating the Trade-offs of Text-based Diversity in Test Prioritization AST Ranim Khojah Chalmers | University of Gothenburg, Chi Hong Chao Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers University of Technology, Sweden / University of Gothenburg, Sweden | ||
14:30 22mTalk | MuTCR: Test Case Recommendation via Multi-Level Signature Matching AST Weisong Sun Nanjing University, Weidong Qian China Ship Scientific Research Center, Bin Luo Nanjing University, Zhenyu Chen Nanjing University | ||
14:52 22mTalk | Test Case Prioritization using Transfer Learning in Continuous Integration Environments AST Rezwana Mamata 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), Gkerta Seferi International Business Machines Corporation (IBM), Qasim Tauseef International Business Machines Corporation (IBM) |
13:45 - 15:15 | |||
13:45 90mMeeting | Breakout Discussions SEENG |
13:45 - 14:30 | Tutorial #3MSR Tutorials at Meeting Room 109 Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
13:45 45mTutorial | Tutorial: Beyond the leading edge. What else is out there? MSR Tutorials Tim Menzies North Carolina State University Pre-print |
13:45 - 14:30 | Software QualityMSR Data and Tool Showcase Track / MSR Technical Papers at Meeting Room 110 Chair(s): Tushar Sharma Dalhousie University | ||
13:45 12mTalk | Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks MSR Technical Papers Ahmed Zerouali Vrije Universiteit Brussel, Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel Pre-print | ||
13:57 12mTalk | Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort? MSR Technical Papers Ruben Opdebeeck Vrije Universiteit Brussel, Ahmed Zerouali Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel Pre-print | ||
14:09 12mTalk | Method Chaining Redux: An Empirical Study of Method Chaining in Java, Kotlin, and Python MSR Technical Papers Pre-print Media Attached | ||
14:21 6mTalk | Snapshot Testing Dataset MSR Data and Tool Showcase Track |
13:45 - 15:15 | |||
13:45 15mPaper | Sensitive and Personal Data: What Exactly Are You Talking About? MOBILESoft NIER (Novel Ideas and Emerging Results) Maria Kober , Jordan Samhi University of Luxembourg, Steven Arzt Fraunhofer SIT; ATHENE, Tegawendé F. Bissyandé SnT, University of Luxembourg, Jacques Klein University of Luxembourg | ||
14:00 40mTalk | Leaders Forum Talk - UX is the differential. What can we do as Software Engineers? MOBILESoft Research Track Tayana Conte Universidade Federal do Amazonas | ||
14:40 30mTalk | Rising Star - Mining User Interfaces to Support Software Development for Mobile Apps MOBILESoft Research Track Kevin Moran George Mason University | ||
15:10 5mTalk | Q&A MOBILESoft Research Track |
13:45 - 15:15 | |||
13:45 90mMeeting | Executive Meeting Social Events |
14:35 - 15:15 | Defect PredictionMSR Data and Tool Showcase Track / MSR Technical Papers at Meeting Room 109 Chair(s): Sarra Habchi Ubisoft | ||
14:35 12mTalk | Large Language Models and Simple, Stupid Bugs MSR Technical Papers Kevin Jesse University of California at Davis, USA, Toufique Ahmed University of California at Davis, Prem Devanbu University of California at Davis, Emily Morgan University of California, Davis Pre-print | ||
14:47 12mTalk | The ABLoTS Approach for Bug Localization: is it replicable and generalizable?Distinguished Paper Award MSR Technical Papers Feifei Niu Nanjing University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Liguo Huang Southern Methodist University, Jidong Ge Nanjing University, Bin Luo Nanjing University, Alexander Egyed Johannes Kepler University Linz Pre-print File Attached | ||
14:59 6mTalk | LLMSecEval: A Dataset of Natural Language Prompts for Security Evaluations MSR Data and Tool Showcase Track Catherine Tony Hamburg University of Technology, Markus Mutas Hamburg University of Technology, Nicolás E. Díaz Ferreyra Hamburg University of Technology, Riccardo Scandariato Hamburg University of Technology Pre-print | ||
15:05 6mTalk | Defectors: A Large, Diverse Python Dataset for Defect Prediction MSR Data and Tool Showcase Track Parvez Mahbub Dalhousie University, Ohiduzzaman Shuvo Dalhousie University, Masud Rahman Dalhousie University Pre-print |
14:35 - 15:15 | Human AspectsMSR Technical Papers / MSR Data and Tool Showcase Track at Meeting Room 110 Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
14:35 12mTalk | A Study of Gender Discussions in Mobile Apps MSR Technical Papers Mojtaba Shahin RMIT University, Australia, Mansooreh Zahedi The Univeristy of Melbourne, Hourieh Khalajzadeh Deakin University, Australia, Ali Rezaei Nasab Shiraz University Pre-print | ||
14:47 12mTalk | Tell Me Who Are You Talking to and I Will Tell You What Issues Need Your Skills MSR Technical Papers Fabio Marcos De Abreu Santos Northern Arizona University, USA, Jacob Penney Northern Arizona University, João Felipe Pimentel Northern Arizona University, Igor Wiese Federal University of Technology, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University Pre-print | ||
14:59 6mTalk | She Elicits Requirements and He Tests: Software Engineering Gender Bias in Large Language Models MSR Technical Papers Pre-print Media Attached | ||
15:05 6mTalk | GitHub OSS Governance File Dataset MSR Data and Tool Showcase Track Yibo Yan University of California, Davis, Seth Frey University of California, Davis, Amy Zhang University of Washington, Seattle, Vladimir Filkov University of California at Davis, Likang Yin University of California at Davis Pre-print |
15:15 - 15:45 | |||
15:15 30mCoffee break | Afternoon Tea Catering |
15:15 - 15:45 | |||
15:15 30mMeeting | Executive Meeting Social Events |
15:45 - 17:15 | |||
15:45 70mTalk | "Turn the tables" session New Faculty Symposium | ||
16:55 5mTalk | Closing New Faculty Symposium |
15:45 - 17:15 | Panel Discuss & ClosingSMeW - Student Mentoring Workshop at Meeting Room 103 Free-style AMA (Ask-Me-Anything) panel discussion. We will have one panelist seat open for anyone to join spontaneously when you have something to share about the topic under discussion. The topics will be driven by students. We will collect questions from students prior to the event and start with common questions. | ||
15:45 - 17:15 | Session 7: Frameworks for self-adaptive systems & SEAMS 2023 ClosingSEAMS Research Track / SEAMS Artifact Track at Meeting Room 105 Chair(s): Luciano Baresi Politecnico di Milano, Danny Weyns KU Leuven, Rogério de Lemos University of Kent, UK | ||
15:45 15mPaper | Artifact: Implementation of an Adaptive Flow Management Framework for IoT Spaces SEAMS Artifact Track Houssam Hajj Hassan SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Georgios Bouloukakis SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Ajay Kattepur , Denis Conan SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Djamel Belaïd | ||
16:00 15mPaper | CHESS: A Framework for Evaluation of Self-adaptive Systems based on Chaos Engineering SEAMS Artifact Track Sehrish Malik Simula Research Laboratory, Syed Moeen Ali Naqvi Simula Research Laboratory and University of Oslo, Leon Moonen Simula Research Laboratory and BI Norwegian Business School Pre-print Media Attached | ||
16:15 15mShort-paper | A Distributed MAPE-K Framework for Self-Protective IoT Devices SEAMS Research Track Michael Riegler Johannes Kepler University Linz, Johannes Sametinger , Michael Vierhauser Johannes Kepler University Linz | ||
16:30 30mAwards | SEAMS Most Influential Paper Awards 2012 and 2013 SEAMS Research Track | ||
17:00 15mAwards | SEAMS 2023 Best Paper Awards, SEAMS 2024 Presentation, Closing Remarks SEAMS Research Track |
15:45 - 17:15 | Bugs and Machine Learning / Steering Committee Meeting / ClosingICPC Research / ICPC Journal First / ICPC Closing at Meeting Room 106 Chair(s): Banani Roy University of Saskatchewan | ||
15:45 9mFull-paper | Mitigating the Effect of Class Imbalance in Fault Localization Using Context-aware Generative Adversarial Network ICPC Research Yan Lei Chongqing University, Tiantian Wen , Huan Xie , Lingfeng Fu Chongqing University, Chunyan Liu Chongqing University, Lei Xu Haier Smart Home Co., Ltd., Hongxia Sun Qingdao Haidacheng Purchasing Service Co., Ltd. Pre-print Media Attached | ||
15:54 9mFull-paper | Still Confusing for Bug-Component Triaging? Deep Feature Learning and Ensemble Setting to Rescue ICPC Research Yanqi Su Australian National University, Zheming Han , Zhipeng Gao Shanghai Institute for Advanced Study of Zhejiang University, Zhenchang Xing , Qinghua Lu CSIRO’s Data61, Xiwei (Sherry) Xu CSIRO’s Data61 | ||
16:03 9mFull-paper | Understanding Bugs in Multi-Language Deep Learning Frameworks ICPC Research Zengyang Li Central China Normal University, Sicheng Wang Central China Normal University, Wenshuo Wang , Peng Liang Wuhan University, China, Ran Mo Central China Normal University, Bing Li Wuhan University Link to publication Pre-print Media Attached | ||
16:12 9mFull-paper | FVA: Assessing Function-Level Vulnerability by Integrating Flow-Sensitive Structure and Code Statement Semantic ICPC Research Chao Ni Zhejiang University, Liyu Shen Zhejiang University, Wei Wang Zhejiang University, Xiang Chen Nantong University, Xin Yin Zhejiang University, Lexiao Zhang School of Software Technology, Zhejiang University | ||
16:21 9mTalk | Event-Aware Precise Dynamic Slicing for Automatic Debugging of Android Applications ICPC Journal First Hsu Myat Win University of Technology Sydney (UTS), Shin Hwei Tan Southern University of Science and Technology, Yulei Sui University of New South Wales, Sydney Link to publication | ||
16:30 15mPanel | Discussion 8 ICPC Closing | ||
16:45 30mMeeting | Steering Committee Meeting and Closing ICPC Closing Alexander Serebrenik Eindhoven University of Technology, Igor Steinmacher Northern Arizona University |
15:45 - 17:15 | |||
15:45 45mPanel | Panel Discussions and AST Summary Remarks AST Andy Zaidman Delft University of Technology, Antonia Bertolino National Research Council, Italy, Mike Papadakis University of Luxembourg, Luxembourg, Shin Yoo KAIST, Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity, Mehrdad Saadatmand RISE Research Institutes of Sweden | ||
16:30 45mAwards | Award Session and Closure AST |
15:45 - 17:15 | |||
15:45 45mMeeting | Breakout Discussions SEENG | ||
16:30 45mDay closing | Presentation of Discussion Results and Closing SEENG |
15:45 - 17:30 | Closing SessionMSR Vision and Reflection / MSR Awards at Meeting Room 109 Chair(s): Patanamon Thongtanunam The University of Melbourne | ||
15:45 20mTalk | MSR 2023 Doctoral Research Award MSR Awards Eman Abdullah AlOmar Stevens Institute of Technology | ||
16:05 30mTalk | Open Source Software Digital Sociology: Quantifying and Understanding Large Complex Open Source Ecosystems MSR Vision and Reflection Minghui Zhou Peking University | ||
16:35 30mTalk | Human-Centered AI for SE: Reflection and Vision MSR Vision and Reflection David Lo Singapore Management University | ||
17:05 25mDay closing | Closing MSR Awards Emad Shihab Concordia Univeristy |
15:45 - 17:30 | |||
15:45 25mPaper | Energy-Saving Strategies for Mobile Web Apps and their Measurement: Results from a Decade of Research MOBILESoft Research Track Benedikt Dornauer University of Innsbruck; University of Cologne, Michael Felderer German Aerospace Center (DLR) & University of Cologne Pre-print | ||
16:10 15mPaper | On Security and Energy Efficiency in Android Smartphones MOBILESoft Research Track João Ferreira da Silva Júnior , Bernardo Santos University of Porto, Portugal, Wellington de Oliveira Júnior University of Lisbon, Nuno Antunes Universidade de Coimbra, Bruno Cabral , João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal | ||
16:25 50mTalk | Leaders Forum Talk - Automated Test Reuse of GUI Tests across Similar Android Apps: Opportunities and Challenges MOBILESoft Research Track Valerio Terragni University of Auckland | ||
17:15 10mTalk | Q&A MOBILESoft Research Track | ||
17:25 5mTalk | Closing MOBILESoft Research Track |
17:00 - 18:15 | Keynote - Dr. Foutse KhomhCAIN Papers at Virtual - Zoom for CAIN Chair(s): Ipek Ozkaya Carnegie Mellon University Click here to Join us over zoomClick Here to watch the session recording on YouTube | ||
17:00 75mKeynote | Engineering Trustworthy AI Systems - Foutse Khomh CAIN Papers Foutse Khomh Polytechnique Montréal |
18:00 - 20:00 | |||
18:00 2hDinner | Newcomers reception Social Events |
18:00 - 23:59 | |||
18:00 5h59mMeeting | ICSE SC Meeting Social Events Laurie Williams North Carolina State University |
18:00 - 19:00 | |||
18:00 60mSocial Event | In Memoriam: Valérie Issarny Social Events |
18:00 - 21:00 | |||
18:00 3hSocial Event | SEENG Workshop Dinner 1800-2100 at BoHo South Wharf SEENG |
18:30 - 20:00 | TrustCAIN Papers at Virtual - Zoom for CAIN Chair(s): Zhenchang Xing CSIRO’s Data61; Australian National University Click here to Join us over zoomClick here to watch the session recording on YouTube | ||
18:30 20mLong-paper | Towards Concrete and Connected AI Risk Assessment (C2AIRA): A Systematic Mapping Study CAIN Papers Boming Xia CSIRO's Data61 & University of New South Wales, Qinghua Lu CSIRO’s Data61, Harsha Perera CSIRO's Data61 & University of New South Wales, Liming Zhu The University of New South Wales, Zhenchang Xing , Yue Liu CSIRO's Data61 & University of New South Wales, Jon Whittle CSIRO's Data61 and Monash University Pre-print | ||
18:50 20mLong-paper | Defining Quality Requirements for a Trustworthy AI Wildflower Monitoring Platform CAIN Papers Petra Heck Fontys University of Applied Sciences, Gerard Schouten Fontys University of Applied Sciences Pre-print | ||
19:10 20mLong-paper | Trustworthy and Robust AI Deployment by Design: A framework to inject best practice support into AI deployment pipelinesDistinguished paper Award Candidate CAIN Papers Pre-print | ||
19:30 15mShort-paper | Towards Code Generation from BDD Test Case Specifications: A vision CAIN Papers Leon Chemnitz TU Darmstadt, David Reichenbach TU Darmstadt, Germany, Hani Aldebes TU Darmstadt, Mariam Naveed TU Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt Pre-print |
22:00 - 23:15 | Panel - OnlineCAIN Papers at Virtual - Zoom for CAIN Chair(s): Jan Bosch Chalmers University of Technology Click here to Join us over zoomClick here to watch the session recording on Youtube | ||
23:15 - 23:30 | |||
Wed 17 MayDisplayed time zone: Hobart change
07:45 - 08:45 | |||
07:45 60mMeeting | ICSE Yoga Social Events |
09:00 - 10:30 | ICSE2023 Opening & Keynote 1 - Sarah PinkSocial Events / ICSE Keynotes at Level G - Plenary Room 1 Chair(s): John Grundy Monash University | ||
09:00 30mDay opening | ICSE2023 Opening Social Events G: John Grundy Monash University, P: Lori Pollock University of Delaware, USA, P: Massimiliano Di Penta University of Sannio, Italy | ||
09:30 60mKeynote | Future Software for Life in Trusted Futures - Prof. Sarah Pink ICSE Keynotes Sarah Pink Monash University |
10:30 - 11:00 | |||
10:30 30mCoffee break | Morning Tea Catering |
10:30 - 11:00 | |||
10:30 30mTalk | Cerberus: a Program Repair Framework DEMO - Demonstrations Ridwan Salihin Shariffdeen National University of Singapore, Martin Mirchev National University of Singapore, Yannic Noller National University of Singapore, Abhik Roychoudhury National University of Singapore |
10:30 - 11:00 | |||
10:30 30mTalk | InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation DEMO - Demonstrations Shuanglong Chang Northeast Petroleum University, Juntao Gao Northeast Petroleum University, Yilong Yang Beihang University |
10:30 - 11:00 | |||
10:30 30mTalk | FlaPy: Mining Flaky Python Tests at Scale DEMO - Demonstrations Pre-print |
11:00 - 12:30 | AI models for SEJournal-First Papers / Technical Track / DEMO - Demonstrations / NIER - New Ideas and Emerging Results at Level G - Plenary Room 1 Chair(s): Denys Poshyvanyk College of William and Mary | ||
11:00 15mTalk | One Adapter for All Programming Languages? Adapter Tuning for Multilingual Tasks in Software Engineering Technical Track Deze Wang National University of Defense Technology, Boxing Chen , Shanshan Li National University of Defense Technology, Wei Luo , Shaoliang Peng Hunan University, Wei Dong School of Computer, National University of Defense Technology, China, Xiangke Liao National University of Defense Technology | ||
11:15 15mTalk | CCRep: Learning Code Change Representations via Pre-Trained Code Model and Query Back Technical Track Zhongxin Liu Zhejiang University, Zhijie Tang Zhejiang University, Xin Xia Huawei, Xiaohu Yang Zhejiang University Pre-print | ||
11:30 15mTalk | Keeping Pace with Ever-Increasing Data: Towards Continual Learning of Code Intelligence Models Technical Track Shuzheng Gao Harbin institute of technology, Hongyu Zhang The University of Newcastle, Cuiyun Gao Harbin Institute of Technology, Chaozheng Wang Harbin Institute of Technology | ||
11:45 7mTalk | PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot DEMO - Demonstrations Qing Huang School of Computer Information Engineering, Jiangxi Normal University, Jiahui Zhu School of Computer Information Engineering, Jiangxi Normal University, Zhilong Li School of Computer Information Engineering, Jiangxi Normal University, Zhenchang Xing , Changjing Wang School of Computer Information Engineering, Jiangxi Normal University, Xiwei (Sherry) Xu CSIRO’s Data61 | ||
11:52 7mTalk | Towards Learning Generalizable Code Embeddings using Task-agnostic Graph Convolutional Networks Journal-First Papers Zishuo Ding Concordia University, Heng Li Polytechnique Montréal, Weiyi Shang Concordia University, Tse-Hsun (Peter) Chen Concordia University | ||
12:00 7mTalk | deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search Journal-First Papers Chen Zeng National University of Defense Technology, Yue Yu College of Computer, National University of Defense Technology, Changsha 410073, China, Shanshan Li National University of Defense Technology, Xin Xia Huawei, Wang Zhiming National University of Defense Technology, Mingyang Geng National University of Defense Technology, Linxiao Bai National University of Defense Technology, Wei Dong School of Computer, National University of Defense Technology, China, Xiangke Liao National University of Defense Technology | ||
12:07 7mTalk | CodeS: Towards Code Model Generalization Under Distribution Shift NIER - New Ideas and Emerging Results Qiang Hu University of Luxembourg, Yuejun GUo University of Luxembourg, Xiaofei Xie Singapore Management University, Maxime Cordy University of Luxembourg, Luxembourg, Lei Ma University of Alberta, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg | ||
12:15 7mTalk | Towards using Few-Shot Prompt Learning for Automating Model Completion NIER - New Ideas and Emerging Results Meriem Ben Chaaben Université de Montréal, DIRO, Lola Burgueño University of Malaga, Houari Sahraoui Université de Montréal |
11:00 - 12:30 | Fuzzing: applicationsTechnical Track / DEMO - Demonstrations at Meeting Room 101 Chair(s): Corina S. Păsăreanu Carnegie Mellon University | ||
11:00 15mTalk | Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces Technical Track Haoxiang Jia Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Zifan Xie Huazhong University of Science and Technology, Xiaochen Guo Huazhong University of Science and Technology, Rongxin Wu Xiamen University, Maolin Sun Huazhong University of Science and Technology, Kang Chen Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology Pre-print | ||
11:15 15mTalk | JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers Technical Track Mingyuan Wu Southern University of Science and Technology, Minghai Lu Southern University of Science and Technology, Heming Cui University of Hong Kong, Junjie Chen Tianjin University, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign | ||
11:30 15mTalk | Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs Technical Track Maolin Sun Huazhong University of Science and Technology, Yibiao Yang Nanjing University, Ming Wen Huazhong University of Science and Technology, Yongcong Wang Huazhong University of Science and Technology, Yuming Zhou Nanjing University, Hai Jin Huazhong University of Science and Technology Pre-print | ||
11:45 15mTalk | Regression Fuzzing for Deep Learning Systems Technical Track Hanmo You College of Intelligence and Computing, Tianjin University, Zan Wang Tianjin University, China, Junjie Chen Tianjin University, Shuang Liu Tianjin University, Shuochuan Li College of Intelligence and Computing, Tianjin University | ||
12:00 15mTalk | Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers Technical Track Suyue Guo Renmin University of China, Xinyu Wan Renmin University of China, Wei You Renmin University of China, Bin Liang Renmin University of China, China, Wenchang Shi Renmin University of China, China, Yiwei Zhang Renmin University of China, Jianjun Huang Renmin University of China, China, Jian Zhang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China Pre-print | ||
12:15 7mTalk | JAttack: Java JIT Testing using Template Programs DEMO - Demonstrations Zhiqiang Zang University of Texas at Austin, Fu-Yao Yu The University of Texas at Austin, Nathan Wiatrek The University of Texas at Austin, Milos Gligoric University of Texas at Austin, August Shi University of Texas at Austin Pre-print |
11:00 - 12:30 | Mining software repositoriesTechnical Track / Journal-First Papers / DEMO - Demonstrations at Meeting Room 102 Chair(s): Brittany Johnson George Mason University | ||
11:00 15mTalk | The untold story of code refactoring customizations in practice Technical Track Daniel Oliveira PUC-Rio, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Alessandro Garcia PUC-Rio, Ana Carla Bibiano PUC-Rio, Márcio Ribeiro Federal University of Alagoas, Brazil, Rohit Gheyi Federal University of Campina Grande, Baldoino Fonseca Federal University of Alagoas (UFAL) Pre-print | ||
11:15 15mTalk | Data Quality for Software Vulnerability Datasets Technical Track Roland Croft The University of Adelaide, Muhammad Ali Babar University of Adelaide, M. Mehdi Kholoosi University of Adelaide Pre-print | ||
11:30 15mTalk | Do code refactorings influence the merge effort? Technical Track André Oliveira Federal Fluminense University, Vania Neves Universidade Federal Fluminense (UFF), Alexandre Plastino Federal Fluminense University, Ana Carla Bibiano PUC-Rio, Alessandro Garcia PUC-Rio, Leonardo Murta Universidade Federal Fluminense (UFF) | ||
11:45 7mTalk | ActionsRemaker: Reproducing GitHub Actions DEMO - Demonstrations Hao-Nan Zhu University of California, Davis, Kevin Z. Guan University of California, Davis, Robert M. Furth University of California, Davis, Cindy Rubio-González University of California at Davis | ||
11:52 7mTalk | Problems with with SZZ and Features: An empirical assessment of the state of practice of defect prediction data collection Journal-First Papers Steffen Herbold University of Passau, Alexander Trautsch University of Passau, Alexander Trautsch Germany, Benjamin Ledel None | ||
12:00 7mTalk | An empirical study of issue-link algorithms: which issue-link algorithms should we use? Journal-First Papers Masanari Kondo Kyushu University, Yutaro Kashiwa Nara Institute of Science and Technology, Yasutaka Kamei Kyushu University, Osamu Mizuno Kyoto Institute of Technology | ||
12:07 7mTalk | SCS-Gan: Learning Functionality-Agnostic Stylometric Representations for Source Code Authorship Verification Journal-First Papers Weihan Ou Queen's University at Kingston, Ding Steven, H., H. Queen’s University at Kingston, Yuan Tian Queens University, Kingston, Canada, Leo Song Queen’s University at Kingston | ||
12:15 15mTalk | A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization Technical Track Hao Guan The University of Queensland, Ying Xiao Southern University of Science and Technology, lijiaying Microsoft, Yepang Liu Southern University of Science and Technology, Guangdong Bai University of Queensland |
11:00 - 12:30 | Fault localizationJournal-First Papers / Technical Track / Showcase at Meeting Room 103 Chair(s): Rui Abreu University of Porto | ||
11:00 15mTalk | Evaluating the Impact of Experimental Assumptions in Automated Fault Localization Technical Track Ezekiel Soremekun Royal Holloway, University of London, Lukas Kirschner Saarland University, Marcel Böhme MPI-SP, Germany and Monash University, Australia, Mike Papadakis University of Luxembourg, Luxembourg Pre-print Media Attached | ||
11:15 15mTalk | Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set Technical Track Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, MiaoMiao Wang Technology Center of Software Engineering, ISCAS, China. University of Chinese Academy of Sciences, China., Yepang Liu Southern University of Science and Technology, Jun Yan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Long Zhang Institute of Software, Chinese Academy of Sciences Pre-print | ||
11:30 15mTalk | PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports Technical Track Pre-print Media Attached | ||
11:45 15mTalk | Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games Showcase Rodrigo Casamayor SVIT Research Group. Universidad San Jorge, Lorena Arcega San Jorge University, Francisca Pérez SVIT Research Group, Universidad San Jorge, Carlos Cetina San Jorge University, Spain DOI | ||
12:00 7mTalk | Real World Projects, Real Faults: Evaluating Spectrum Based Fault Localization Techniques on Python Projects Journal-First Papers Ratnadira Widyasari Singapore Management University, Singapore, Gede Artha Azriadi Prana Singapore Management University, Stefanus Agus Haryono Singapore Management University, Shaowei Wang University of Manitoba, David Lo Singapore Management University | ||
12:07 7mTalk | Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis Journal-First Papers Ming Wen Huazhong University of Science and Technology, Zifan Xie Huazhong University of Science and Technology, Kaixuan Luo Huazhong University of Science and Technology, Xiao Chen Huazhong University of Science and Technology, Yibiao Yang Nanjing University, Hai Jin Huazhong University of Science and Technology | ||
12:15 15mTalk | RAT: A Refactoring-Aware Traceability Model for Bug Localization Technical Track Feifei Niu Nanjing University, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Liguo Huang Southern Methodist University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Jidong Ge Nanjing University, Bin Luo Nanjing University, Alexander Egyed Johannes Kepler University Linz File Attached |
11:00 - 12:30 | Formal verificationSEIP - Software Engineering in Practice / DEMO - Demonstrations / Technical Track / NIER - New Ideas and Emerging Results / Showcase at Meeting Room 104 Chair(s): Bonita Sharif University of Nebraska-Lincoln, USA | ||
11:00 15mTalk | How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms Technical Track Hammad Ahmad University of Michigan, Zachary Karas University of Michigan, Kimberly Diaz University of Michigan, Amir Kamil University of Michigan, Jean-Baptiste Jeannin University of Michigan at Ann Arbor, Westley Weimer University of Michigan | ||
11:15 15mTalk | Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? Technical Track Pre-print | ||
11:30 15mTalk | Understanding Inconsistency in Azure Cosmos DB with TLA+ SEIP - Software Engineering in Practice Alistair Finn Hackett University of British Columbia, Joshua Rowe Microsoft, Markus Alexander Kuppe Microsoft Research | ||
11:45 15mTalk | Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models Showcase Nicholas Coughlin Defence Science and Technology Group, Australia, Kirsten Winter Defence Science and Technology Group, Australia, Graeme Smith The University of Queensland | ||
12:00 7mTalk | HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols DEMO - Demonstrations Shumao Zhai Beihang University, Xiaozhou Li University of Oulu, Ning Ge School of Software, Beihang University | ||
12:07 7mTalk | CoVeriTeam Service: Verification as a Service DEMO - Demonstrations | ||
12:15 7mTalk | Proofster: Automated Formal Verification DEMO - Demonstrations Arpan Agrawal University of Illinois Urbana-Champaign, Emily First University of Massachusetts Amherst, Zhanna Kaufman University of Massachusetts, Tom Reichel University of Illinois Urbana-Champaign, Shizhuo Zhang University of Illinois Urbana-Champaign, Timothy Zhou University of Illinois Urbana-Champaign, Alex Sanchez-Stern University of Massachusetts at Amherst, Talia Ringer University of Illinois at Urbana-Champaign, Yuriy Brun University of Massachusetts Media Attached | ||
12:22 7mTalk | Anti-Patterns (Smells) in Temporal Specifications NIER - New Ideas and Emerging Results Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar Pre-print |
11:00 - 12:30 | APIs and librariesTechnical Track / Journal-First Papers / SEIP - Software Engineering in Practice at Meeting Room 105 Chair(s): Sarah Nadi University of Alberta | ||
11:00 15mTalk | UpCy: Safely Updating Outdated Dependencies Technical Track Andreas Dann Paderborn University, Ben Hermann TU Dortmund, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print | ||
11:15 15mTalk | APICAD: Augmenting API Misuse Detection Through Specifications From Code And Documents Technical Track | ||
11:30 15mTalk | Compatibility Issue Detection for Android Apps Based on Path-Sensitive Semantic Analysis Technical Track Sen Yang Army Engineering University of PLA, Sen Chen Tianjin University, Lingling Fan Nankai University, Sihan Xu Nankai University, China, Zhanwei Hui Academy of Military Science, Song Huang Army Engineering University of PLA | ||
11:45 15mTalk | OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions Technical Track |