9 papers
SAGE: Semantic-Aware Gray-Box Game Regression Testing with Large Language Models
Jinyu Cai, Jialong Li, Nianyu Li +3
The rapid iteration cycles of modern live-service games make regression testing indispensable for maintaining quality and stability. However, existing regression testing approaches…
Simulation of Language Evolution under Regulated Social Media Platforms: A Synergistic Approach of Large Language Models and Genetic Algorithms
Jinyu Cai, Yusei Ishimizu, Mingyue Zhang +3
Social media platforms frequently impose restrictive policies to moderate user content, prompting the emergence of creative evasion language strategies. This paper presents a multi…
Bridging the Interpretation Gap in Accessibility Testing: Empathetic and Legal-Aware Bug Report Generation via Large Language Models
Ryoya Koyama, Zhiyao Wang, Devi Karolita +2
Modern automated accessibility testing tools for mobile applications have significantly improved the detection of interface violations, yet their impact on remediation remains limi…
Robust Exploration in Directed Controller Synthesis via Reinforcement Learning with Soft Mixture-of-Experts
Toshihide Ubukata, Zhiyao Wang, Enhong Mu +2
On-the-fly Directed Controller Synthesis (OTF-DCS) mitigates state-space explosion by incrementally exploring the system and relies critically on an exploration policy to guide sea…
See What I See: An Attention-Guiding eHMI Approach for Autonomous Vehicles
Jialong Li, Zhenyu Mao, Zhiyao Wang +4
As autonomous vehicles are gradually being deployed in the real world, external Human-Machine Interfaces (eHMIs) are expected to serve as a critical solution for enhancing vehicle-…
Graph Contextual Reinforcement Learning for Efficient Directed Controller Synthesis
Toshihide Ubukata, Enhong Mu, Takuto Yamauchi +3
Controller synthesis is a formal method approach for automatically generating Labeled Transition System (LTS) controllers that satisfy specified properties. The efficiency of the s…