5 papers
From Business Requirements to Test Assertions: Evaluating LLM-Generated Oracles on Real Bugs
Tiancheng Ma, Nasir U. Eisty
The oracle problem (determining the correct expected outcome for a test) remains a major bottleneck in automated testing, and is increasingly relevant as non-experts rely on AI-gen…
WaveForward: An Omnidirectional Passive Wheeled Quadruped Robot with Casters
Chuanlin Zhao, Qifeng Zheng, Shuhan Wang +3
Wheeled-legged robots possess both agile mobility for traversing complex terrains and high efficiency, making them suitable for long-distance transportation applications. Conventio…
Applications of Causality in Software Testing: A Rapid Review
Tiancheng Ma, Nasir U. Eisty
Causal inference offers a principled framework for understanding how interventions influence software behavior, yet its adoption in software testing remains fragmented across diffe…
Modelling human activities in a system of cities
Guo-Shiuan Lin, Denise Hertwig, Megan McGrory +5
Cities host most of the world population with diverse services and activities. One key challenge in urban modelling is the quantification of intra- and inter-city mobility patterns…
Beyond Playtesting: A Generative Multi-Agent Simulation System for Massively Multiplayer Online Games
Ran Zhang, Kun Ouyang, Tiancheng Ma +2
Optimizing numerical systems and mechanism design is crucial for enhancing player experience in Massively Multiplayer Online (MMO) games. Traditional optimization approaches rely o…