Search events for 'all'
One Size Does Not Fit All: Multi-Granularity Patch Generation for Better Automated Program Repair
Artifact Evaluation
… …
One Size Does Not Fit All: Multi-Granularity Patch Generation for Better Automated Program Repair
Technical Papers When: Wed 18 Sep 2024 16:50 - 17:10 People: Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, Xiaoguang Mao
… …
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Tool Demonstrations When: Wed 18 Sep 2024 16:34 - 16:47 People: Liu Yunqi, Wei Song
… \textsf{\textsc{FunRedisp}} is a function dispatch refactoring tool to reduce the overall invocation gas consumption of Solidity smart contracts. It initially extracts all external functions in a contract at the source code level. After …
Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Tool Demonstrations When: Wed 18 Sep 2024 13:42 - 13:55 People: Alexander Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval
… includes all shared memory access and synchronization events. The IntelliJ IDEA …
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Tool Demonstrations When: Wed 18 Sep 2024 14:34 - 14:47 People: Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shreya Mathews, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo
… platform-specific, which means that they cannot support all Wasm features. They may …
FixCheck: A Tool for Improving Patch Correctness Analysis
Tool Demonstrations When: Wed 18 Sep 2024 15:55 - 16:08 People: Facundo Molina, Juan Manuel Copia, Alessandra Gorla
… Patch correctness assessment aims at effectively detecting overfitted patches, i.e., patches that causes all tests to pass but do not actually fix the bug. Although several automated techniques for assessing patch correctness have …
Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Technical Papers When: Thu 19 Sep 2024 16:50 - 17:10 People: Cuiying Gao, Yueming Wu, Heng Li, Wei Yuan, Haoyu Jiang, Qidan He, Yang Liu
… accept the decisions of all engines. In reality, however, these engines have … all engines indiscriminately is unreasonable for dataset annotation. Therefore …, compared to using all the engines. …
Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Sets with Iterative Prioritization
Technical Papers When: Fri 20 Sep 2024 10:30 - 10:50 People: Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng
… all targets simultaneously. However, not all targets hold equal importance … that blindly tracking all targets diverts computing resources from critical …. We evaluate Prospector on 24 programs by setting all sanitizer labels …
Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Technical Papers When: Fri 20 Sep 2024 13:30 - 13:50 People: Shuwei Song, Jiachi Chen, Ting Chen, Xiapu Luo, Teng Li, Wenwu Yang, Leqing Wang, Weijie Zhang, Feng Luo, Zheyuan He, Yi Lu, Pan Li
… essential meta-information, and detects all eight defect types. By leveraging MoveScan, we uncover 97,169 defects across all 37,302 deployed contracts …
Call Graph Soundness in Android Static Analysis
Technical Papers When: Fri 20 Sep 2024 11:30 - 11:50 People: Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein
… Static analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program’s code. Any such omission is a serious threat …, such as EdgeMiner, capturing all callbacks in the Android framework …
Neurosymbolic Repair of Test Flakiness
Technical Papers When: Thu 19 Sep 2024 11:10 - 11:30 People: Yang Chen, Reyhaneh Jabbarvand
… ) flakiness. They are also all symbolic approaches, i.e., leverage program analysis … previously unfixed flaky tests in real-world projects. We opened pull requests for all …
UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Technical Papers When: Wed 18 Sep 2024 14:30 - 14:50 People: Yifeng He, Jiabo Huang, Yuyang Rong, Yiwen Guo, Ethan Wang, Hao Chen
… accuracy and code coverage across all evaluated programming languages. Code …
Synthesizing Boxes Preconditions for Deep Neural Networks
Technical Papers When: Wed 18 Sep 2024 14:30 - 14:50 People: Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang
… and continuously reduces overhead throughout all designed heuristics. The check phase …
Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-based Mutation
Technical Papers When: Wed 18 Sep 2024 10:50 - 11:10 People: Jueon Eom, Seyeon Jeong, Taekyoung Kwon
… while minimizing syntax and semantic errors, all without needing extra post …
Isolation-Based Debugging for Neural Networks
Technical Papers When: Wed 18 Sep 2024 16:30 - 16:50 People: Jialuo Chen, Jingyi Wang, Youcheng Sun, Peng Cheng, Jiming Chen
… across all tasks. IDNN is publicly available at [1]. …
CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Technical Papers When: Fri 20 Sep 2024 16:10 - 16:30 People: Hao Wang, Zeyu Gao, Chao Zhang, Zihan Sha, Mingyang Sun, Yuchen Zhou, Wenyu Zhu, Wenju Sun, Han Qiu, Xi Xiao
… analysis all demonstrate exceptional performance. Notably, without any task-specific …
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Technical Papers When: Thu 19 Sep 2024 14:30 - 14:50 People: Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
… the largest cost for all situations, as done in existing gas analyzers, is an overly …
Your "Notice" is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Technical Papers When: Fri 20 Sep 2024 15:50 - 16:10 People: Kaifeng Huang, Yingfeng Xia, Bihuan Chen, Siyang He, Huazheng Zeng, Zhuotong Zhou, Jin Guo, Xin Peng
… . These licenses all require certain forms of ``notice'' to describe the modifications made …
Automated Program Repair via Conversation: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
Technical Papers When: Wed 18 Sep 2024 15:30 - 15:50 People: Chunqiu Steven Xia, Lingming Zhang
… that failed to pass all tests, we combine the incorrect patches …. For earlier patches that passed all the tests (i.e., plausible patches), we …
One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Technical Papers When: Thu 19 Sep 2024 15:30 - 15:50 People: Di Cui, Qiangqiang Wang, Yutong Zhao, Jiaqi Wang, Minjie Wei, Jingzhao Hu, Luqiao Wang, Qingshan Li
… and assign attributes to nodes with a pre-trained code model. All the attributed …
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Technical Papers When: Wed 18 Sep 2024 11:10 - 11:30 People: Benjamin Kushigian, Samuel Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just
… . Additionally, we analyzed all 9,047 equivalent mutants reported by any tool …
DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Technical Papers When: Thu 19 Sep 2024 14:30 - 14:50 People: Keqiang Li, Siyang Weng, Lyu Ni, Chengcheng Yang, Rong Zhang, Xuan Zhou, Aoying Zhou
… a generic framework that utilizes conflict graphs to manage all conflicts …
LPR: Large Language Models-Aided Program Reduction
Technical Papers When: Wed 18 Sep 2024 11:30 - 11:50 People: Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, Chengnian Sun
…
programs, taking 10.77%, 34.88%, 36.96% less time than Vulcan to
finish all …
Traceback: A Fault Localization Technique for Molecular Programs
Technical Papers When: Thu 19 Sep 2024 15:30 - 15:50 People: Michael C. Gerten, James I. Lathrop, Myra Cohen
… tuning of Trace-
back when all tests, or only code-based (invariant) tests …
Synthesis-based Enhancement for GUI Test Case Migration
Technical Papers When: Fri 20 Sep 2024 14:10 - 14:30 People: Yakun Zhang, Qihao Zhu, Jiwei Yan, Chen Liu, Wenjie Zhang, Yifan Zhao, Dan Hao, Lu Zhang
… in the target app, MigratePro first combines all the GUI states related …
Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
Technical Papers When: Thu 19 Sep 2024 16:10 - 16:30 People: Zeliang Yu, Ming Wen, Xiaochen Guo, Hai Jin
… learning-based methods}. Moreover, the key components of Maltracker~all …
Evaluating the Effectiveness of Decompilers
Technical Papers When: Fri 20 Sep 2024 10:50 - 11:10 People: Ying Cao, Runze Zhang, Ruigang Liang, Kai Chen
… has about 55% accuracy at almost all optimization, which contradicts the common …
SelfPiCo: Self-Guided Partial Code Execution with LLMs
Technical Papers When: Thu 19 Sep 2024 14:30 - 14:50 People: Zhipeng Xue, Zhipeng Gao, Shaohua Wang, Xing Hu, Xin Xia, Shanping Li
… execute 57.3% and 71.1% of all lines in the open-source code and Stack Overflow …
Precise Compositional Buffer Overflow Detection via Heap Disjointness
Technical Papers When: Thu 19 Sep 2024 13:30 - 13:50 People: Yiyuan Guo, Peisen Yao, Charles Zhang
… by shrinking the program state space so that all the symbolic locations involved …