2 papers
cs.SE2026
Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
Fanpeng Yang, Xu Ma, Shuling Wang +5
Automatically generating formal specifications including loop invariants, preconditions, and postconditions for legacy code is critical for program understanding, reuse and verific…
cs.PL2025
HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
Xiong Xu, Jean-Pierre Talpin, Shuling Wang +4
Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobil…