3 citations · 6 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
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★ 2 cited
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…