Min-Xue Pan

PL4SA: Optimized Partial Library Selection for Efficient Static Analysis

With the rapid advancements in modern software engineering practices, software applications have become increasingly dependent on external libraries, making the choice between whole-program and application-only analysis more critical: the former often leads to timeouts due to high computational overhead, while the latt...

Exact-IaC: Execution-Driven Exact Knowledge Injection for Reliable IaC Synthesis

Automated Classification, Root Cause Analysis, and Repair Recommendations for Failed Mobile Testing by Specialized LLM

AnaDroid is proposed, a novel LLM training framework specifically tailored for analyzing failed mobile tests that first leverages bidirectional pre-training to instill the domain-specific knowledge and reasoning capabilities required for failed test analysis into the model and employs preference optimization to enhance...