Wed 30 Apr 2025 17:30 - 18:00 at Canada Hall 3 Poster Area - Doctoral Symposium Poster Session (Wednesday) at Canada Hall 3 poster area
Thu 1 May 2025 17:30 - 18:00 at Canada Hall 3 Poster Area - Doctoral Symposium Poster Session (Thursday) at Canada Hall 3 poster area
Fri 2 May 2025 17:30 - 18:00 at Canada Hall 3 Poster Area - Doctoral Symposium Poster Session (Friday) at Canada Hall 3 poster area
Cyber-Physical Systems (CPS) integrate digital technologies with physical processes and are common in different domains and industries, such as robotic systems, autonomous vehicles or satellites. Debugging and verification of CPS software consumes much of the development budget as it is often purely manual. To speed up this process, Automated Program Repair (APR) has been targeted for a long time. Although there have been advances in software APR and CPS verification techniques, research specifically on APR for CPSs is limited. This Ph.D. research project aims to develop scalable APR techniques for CPSs, addressing problems of fault localization, long test execution times, and fitness function limitations. A new method combining spectrum-based fault localization (SBFL) with patch generation and advanced artificial intelligence techniques will be investigated. The approach will be validated by empirical studies on open and industrial code bases of CPSs.
Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change
17:00 - 17:30 | |||
17:00 30mTalk | Automated Repair of Cyber-Physical Systems Doctoral Symposium Pablo Valle Mondragon University Pre-print | ||
17:00 30mTalk | Automatically Generating Single-Responsibility Unit Tests Doctoral Symposium Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana | ||
17:00 30mTalk | Structured State Space Exploration of Dash+ Models Doctoral Symposium Aditya Shankar Narayanan University of Waterloo | ||
17:00 30mTalk | Intelligent Automation for Accelerating the Repair of Software Build Failures Doctoral Symposium Gengyi Sun University of Waterloo Pre-print | ||
17:00 30mTalk | Trustworthiness of Large Language Models for Code Doctoral Symposium Dipin Khati William & Mary | ||
