activity
20202026
most citedMetamorphic Relation Generation: State of the Art and Visions for Future Research

3 citations · 10 across the 11 of their papers we have counts for

collaborators
Showing cs.SEShow all

16 papers · 1 filter

cs.SE2026

LLM-Assisted Model-Based GUI Testing for Vue.js Web Applications

Tao Li, Chenhui Cui, Rubing Huang +3

Vue.js is a popular framework for building modern web applications. As Vue.js functionality and tooling support grow, ensuring its reliability (through automated testing) is becomi…

cs.SE2026

ATGBuilder: Feature-Assisted Graph Learning for Activity Transition Graph Construction with Seed Supervision

Chenhui Cui, Zixiang Xian, Danyu Li +5

Android applications are organized around activities that provide visual Graphical User Interface (GUI) containers that host the UI and handle user interaction events. Activity Tra…

cs.SE2026

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report

Zhi Quan Zhou, Dave Towey, Tsong Yueh Chen

Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given…

cs.SE2025

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases

Zhenzhen Yang, Chenhui Cui, Tao Li +4

Appropriate test-case generation is critical in software testing and significantly impacts testing quality. Requirements-Based Test Generation (RBTG) derives test cases from softwa…

cs.SE2025

Requirements-Based Test Generation: A Comprehensive Survey

Zhenzhen Yang, Rubing Huang, Chenhui Cui +2

As an important way of assuring software quality, software testing generates and executes test cases to identify software failures. Many strategies have been proposed to guide test…

cs.SE2025

LRASGen: LLM-based RESTful API Specification Generation

Sida Deng, Rubing Huang, Man Zhang +3

REpresentation State Transfer (REST) is an architectural style for designing web applications that enable scalable, stateless communication between clients and servers via common H…