1 citations · 1 across the 5 of their papers we have counts for
6 papers
GeONet: Geometry-Encoded Operator Network for Predicting Flow in Heterogeneous Porous Media
Md Lal Mamud, Maruti K. Mudunuru, Yucheng Fu +13
Rapid prediction of pressure-driven flow in microfluidic porous media is important for experimental design, tracer-test interpretation, and digital-twin development for subsurface…
RESTOR: Automated Test Oracle Generation for RESTful APIs via Reinforcement Learning
Xun Zhou, Zhen Dong, Mingyu Ren +6
Modern REST API testing faces a critical challenge in defining reliable test oracles, particularly in agile industrial environments where formal specifications (e.g., OpenAPI) are…
RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
Siao Wang, Zhen Dong, Hui Li +3
Flight control programs use PID control modules with user-configurable Proportional (P), Integral (I), and Derivative (D) parameters to manage UAV flying behaviors. Users can adjus…
Extracting Formal Specifications from Documents Using LLMs for Automated Testing
Hui Li, Zhen Dong, Siao Wang +4
Automated testing plays a crucial role in ensuring software security. It heavily relies on formal specifications to validate the correctness of the system behavior. However, the ma…
EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things
Bingkun Sun, Liwei Shen, Jialin Ren +3
Web of Things (WoT) technology facilitates the standardized integration of IoT devices ubiquitously deployed in daily environments, promoting diverse WoT applications to automatica…
Enhancing Robot Program Synthesis Through Environmental Context
Tianyi Chen, Qidi Wang, Zhen Dong +2
Program synthesis aims to automatically generate an executable program that conforms to the given specification. Recent advancements have demonstrated that deep neural methodologie…