1 citations · 1 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model
Yusei Ishimizu, Takuto Yamauchi, Sinan Chen +3
Discrete Controller Synthesis (DCS) is a powerful formal method for automatically generating specifications of discrete event systems. However, its practical adoption is often hind…
cs.SE2025
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…