ICSE 2024 (series) / Journal-first Papers /
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning
Fri 19 AprDisplayed time zone: Lisbon change
Fri 19 Apr
Displayed time zone: Lisbon change
16:00 - 17:30 | Program Repair 4Journal-first Papers / Research Track at Fernando Pessoa Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC | ||
16:00 15mTalk | Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications Research Track Shaoheng Cao Nanjing University, Minxue Pan Nanjing University, Yu Pei The Hong Kong Polytechnic University, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Tian Zhang Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University | ||
16:15 15mTalk | Exploring Experiences with Automated Program Repair in Practice Research Track Fairuz Nawer Meem George Mason University, Justin Smith Lafayette College, Brittany Johnson George Mason University | ||
16:30 15mTalk | PyTy: Repairing Static Type Errors in Python Research Track Yiu Wai Chow University of Stuttgart, Luca Di Grazia Università della Svizzera italiana (USI), Michael Pradel University of Stuttgart Link to publication DOI Pre-print File Attached | ||
16:45 15mTalk | Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation Research Track Wenzhang Yang University of Science and Technology of China, Linhai Song Programme Committee, Yinxing Xue University of Science and Technology of China | ||
17:00 7mTalk | Improving Automated Program Repair with Domain Adaptation Journal-first Papers | ||
17:07 7mTalk | Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning Journal-first Papers Le-Cong Thanh The University of Melbourne, Duc-Minh Luong Hanoi University of Science and Technology, Xuan-Bach D. Le University of Melbourne, David Lo Singapore Management University, Nhat-Hoa Tran Hanoi University of Science and Technology, Quang-Huy Bui Hanoi University of Science and Technology, Quyet Thang Huynh Hanoi University of Science and Technology Media Attached | ||