Skip to content

Author

Liqian Chen

We have 2 of 9 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#small language model Book Open access Oct 2026

Fully Automating Template Polyhedral Analysis by Leveraging LLMs

Abstract interpretation provides a generic framework to design static analysis, and has been widely applied in analysis of real-world programs. The scalability and precision of these analyses depend largely on the chosen abstract domain. The template polyhedra domain is well-known for offering a compelling trade-off be...

Ren-Jie Huang, Li-Qian Chen, Hong-Fei Fu et al. · 0 citations

CTForge: Automatically Generating Test Suites for Software Configuration

CTForge is presented, an LLM-powered framework that automatically generates configuration-specific test suites and demonstrates that structured configuration-aware refinement is essential for LLM to produce effective test suites.

Yuanliang Zhang, Zhizheng Zheng, Shanshan Li et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.