Author

Zi-Yi Liang

h-index 1 View on Semantic Scholar

We have 2 of 2 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.

#software testing Preprint Oct 2026

Mission (Im)Possible: Towards Autonomous Discovery of Autopilot Logic Flaws in Open-Source Drone Frameworks

Impossible Mission Finder is presented, a multi-agent system combining static analysis, dynamic execution and log analysis, that supports fully automated identify, test, and validate logic flaws in autonomous vehicles, leading to 105 previously unknown logic flaws.

Zi-Yi Liang, Zi-Chuan Li, Bin Yuan et al. · 0 citations

Preprint Jul 2026

PULSE: An Executable Contract Language for Spatiotemporal Knowledge Graph Engineering

This work presents PULSE, an Object-Process-Methodology-inspired language that localizes four operational roles and their write effects in one typed runtime, here, modes denote operational roles rather than modal or deontic logic.

Dongxu Yang, Zi-Yi Liang · 0 citations