output
20142026
most citedMARS: An Instance-aware, Modular and Realistic Simulator for Autonomous Driving

99 citations

Showing cs.SEShow all

5 papers · 1 filter

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

Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode

Songqiang Chen, Congying Xu, Jingyi Chen +3

Although large language models (LLMs) show promising potential in code translation, they still struggle to generate accurate translations using the commonly adopted direct code-to-…

cs.SE2024★ 10 cited

Towards Understanding the Bugs in Solidity Compiler

Haoyang Ma, Wuqi Zhang, Qingchao Shen +3

Solidity compiler plays a key role in enabling the development of smart contract applications on Ethereum by governing the syntax of a domain-specific language called Solidity and…

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.SE2022★ 28 cited

COMET: Coverage-guided Model Generation For Deep Learning Library Testing

Meiziniu Li, Jialun Cao, Yongqiang Tian +3

Recent deep learning (DL) applications are mostly built on top of DL libraries. The quality assurance of these libraries is critical to the dependable deployment of DL applications…