Syntest-ACR: Automated Crash Reproduction for JavaScript
Automated Crash Reproduction (ACR) is an area of software testing research that aims to reproduce software crashes to improve developers’ ability to debug programs. There has been little progress in applying ACR techniques to JavaScript, as the highly dynamic nature of JavaScript poses challenges for program analysis and synthesis. We present SynTest-ACR, the first tool for ACR in JavaScript, based on the SynTest test generation framework. We have evaluated SynTest-ACR against the CrashJS dataset consisting of 453 crashes. As a baseline, we ported the state-of-the-art search-guiding fitness function from EvoCrash for Java, finding that it performs much worse when applied to JavaScript programs, and through comprehensively designing and evaluating alternative fitness functions more suitable for JS ACR we obtain an 18.9% increase in reproduction rate over this baseline for Syntest-ACR
| Preprint - Automatic_Crash_Reproduction_for_JavaScript (Automatic_Crash_Reproduction_for_JavaScript.pdf) | 256KiB |
Wed 10 SepDisplayed time zone: Auckland, Wellington change
15:30 - 17:00 | Session 5 - DebuggingResearch Papers Track / Industry Track at Case Room 3 260-055 Chair(s): Chanchal K. Roy University of Saskatchewan | ||
15:30 15m | The Impact of Fine-tuning Large Language Models on Automated Program Repair Research Papers Track Roman Machacek University of Bern, Anastasiia Grishina Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory Pre-print Media Attached | ||
15:45 15m | Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution Research Papers Track Likai Ye Zhejiang University, Mengliang Li Zhejiang University, Dehai Zhao CSIRO's Data61, Jiamou Sun CSIRO's Data61, Xiaoxue Ren Zhejiang University Pre-print | ||
16:00 15m | Code Property Graph Meets Typestate: A Scalable Framework to Behavioral Bug Detection Research Papers Track Xingjing Deng Beihang University, Zhengyao Liu Beihang University, Zhong Xitong Beihang University, shuo hong Beihang University, Yixin Yang , Xiang Gao Beihang University, Yan Xuhui Huawei, Hailong Sun Beihang University | ||
16:15 15m | Syntest-ACR: Automated Crash Reproduction for JavaScript Research Papers Track Philip Oliver Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington File Attached | ||
16:30 15m | TSGuard: Detecting Logic Bugs in Time Series Management Systems via Time Series Algebra Research Papers Track Lingwei Kuang Nanjing University of Aeronautics and Astronautics, Liang Liu Nanjing University of Aeronautics and Astronautics, Wenjing Wang Nanjing University of Aeronautics and Astronautics, Ning Cao Nanjing University of Aeronautics and Astronautics, Shijie Li Nanjing University of Aeronautics and Astronautics, Fan Liu Nanjing University of Aeronautics and Astronautics, Haolong Chen Nanjing University of Aeronautics and Astronautics | ||
16:45 15m | HybridRCA: Lightweight Critical-Path-Aware Hybrid Tracing for Root-Cause Analysis in Production Microservices Industry Track Maryam Ekhlasi Ciena, Arnaud Fiorini Polytechnique Montreal, Naser Ezzati Jivan , Michel Dagenais Polytechnique Montreal, Maxime Lamothe Polytechnique Montreal | ||