3 citations · 9 across the 7 of their papers we have counts for
5 papers · 1 filter
Can LLMs Test Terminal User Interfaces?
Chao Peng, Ruida Hu, Ajitha Rajan +3
Terminal User Interfaces (TUIs) combine the stateful, screen-oriented behaviour of GUIs with terminal deployment and are now common in developer tools. Yet they lack a dedicated te…
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
Foivos Tsimpourlas, Chao Peng, Carlos Rosuero +2
The Go programming language has gained significant traction for developing software, especially in various infrastructure systems. Nonetheless, concurrency bugs have become a preva…
CAT: Change-focused Android GUI Testing
Chao Peng, Ajitha Rajan
Android Apps are frequently updated, every couple of weeks, to keep up with changing user, hardware and business demands. Correctness of App updates is checked through extensive te…
M3: Semantic API Migrations
Bruce Collie, Philip Ginsbach, Jackson Woodruff +2
Library migration is a challenging problem, where most existing approaches rely on prior knowledge. This can be, for example, information derived from changelogs or statistical mod…
SIF: A Framework for Solidity Code Instrumentation and Analysis
Chao Peng, Sefa Akca, Ajitha Rajan
Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains.…