activity
20232026
most citedMR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases

14 citations · 39 across the 10 of their papers we have counts for

collaborators
Showing cs.SEShow all

9 papers · 1 filter

cs.SE2026

Understanding Agent-Reactive Bugs at the Model-Harness Boundary: An Empirical Study of LLM Agent Issue Reports

Jingyi Chen, Songqiang Chen, Hengcheng Zhu +3

LLM agents span command-line interfaces (e.g., Codex) and agent frameworks (e.g., LangChain), integrating backend LLMs with harness code that parses model outputs, controls agent l…

cs.SE2026

Characterizing Tests in IoT Software: Practices, Challenges and Opportunities

Rufeng Chen, Hengcheng Zhu, Wuqi Zhang +2

The Internet of Things (IoT) is experiencing rapid growth. Smart devices are emerging in smart homes and industrial applications, performing mission-critical tasks. Bugs in IoT sof…

cs.SE2026

Improving LLM-Driven Test Generation by Learning from Mocking Information

Jamie Lee, Flynn Teh, Hengcheng Zhu +3

Large Language Models (LLMs) have recently shown strong potential for automated unit test generation. This has motivated us to investigate whether developer-defined test doubles (c…

cs.SE2026★ 1 cited

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis

Congying Xu, Hengcheng Zhu, Songqiang Chen +3

Metamorphic testing (MT) is a widely recognized technique for alleviating the oracle problem in software testing. However, its adoption is hindered by the difficulty of constructin…

cs.SE2025

LSPFuzz: Hunting Bugs in Language Servers

Hengcheng Zhu, Songqiang Chen, Valerio Terragni +4

The Language Server Protocol (LSP) has revolutionized the integration of code intelligence in modern software development. There are approximately 300 LSP server implementations fo…

cs.SE2025★ 3 cited

Understanding and Characterizing Mock Assertions in Unit Tests

Hengcheng Zhu, Valerio Terragni, Lili Wei +3

Mock assertions provide developers with a powerful means to validate program behaviors that are unobservable to test assertions. Despite their significance, they are rarely conside…

cs.SE2024★ 8 cited

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing

Congying Xu, Songqiang Chen, Jiarong Wu +4

While a recent study reveals that many developer-written test cases can encode a reusable Metamorphic Relation (MR), over 70% of them directly hard-code the source input and follow…

cs.SE2023★ 13 cited

StubCoder: Automated Generation and Repair of Stub Code for Mock Objects

Hengcheng Zhu, Lili Wei, Valerio Terragni +6

Mocking is an essential unit testing technique for isolating the class under test (CUT) from its dependencies. Developers often leverage mocking frameworks to develop stub code tha…

cs.SE2023★ 14 cited

MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases

Congying Xu, Valerio Terragni, Hengcheng Zhu +2

Metamorphic Testing (MT) alleviates the oracle problem by defining oracles based on metamorphic relations (MRs), that govern multiple related inputs and their outputs. However, des…