From the 1 of 6 linked papers with an AI index.
6 papers
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE
Lingfeng Chen, Tao Xiao, Masanari Kondo +1
Symbolic execution effectively discovers security violations but suffers from path explosion. Engines like KLEE therefore use path prioritization heuristics to order state explorat…
ThinkLog: Leveraging Reasoning for Log Statement Generation
Kazuki Kusama, Honglin Shu, Masanari Kondo +2
ThinkLog uses large language models with reasoning prompts to automatically decide where to insert logs, what severity to assign, and how to phrase log messages, improving the accu…
Exploring the Potential of Program Flowcharts on Code Generation Using Multimodal LLMs
Yuki Toi, Tao Xiao, Kazushi Tomoto +2
In recent years, Large Language Models (LLMs) have made significant strides, leading to the emergence of multimodal LLMs capable of processing diverse inputs such as images and aud…
Cross-Project Flakiness: A Case Study of the OpenStack Ecosystem
Tao Xiao, Dong Wang, Shane McIntosh +2
Automated regression testing is a cornerstone of modern software development, often contributing directly to code review and Continuous Integration (CI). Yet some tests suffer from…
"Refactoring Runaway": Understanding and Mitigating Tangled Refactorings in Coding Agents for Issue Resolution
Zhao Tian, Zifan Zhang, Tao Xiao +4
Recent advances in coding agents have shown remarkable progress in software issue resolution. In practice, real-world issues are typically bug fixes or feature requests in which hu…
On the Effectiveness of Training Data Optimization for LLM-based Code Generation: An Empirical Study
Shiqi Kuang, Zhao Tian, Tao Xiao +2
Large language models (LLMs) have achieved remarkable progress in code generation, largely driven by the availability of high-quality code datasets for effective training. To furth…