99 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Hong Kong University of Science and TechnologyHK12 papers
- University of Hong KongHK11 papers
- Hunan UniversityCN2 papers
- Imperial College LondonGB2 papers
- Shanghai Jiao Tong UniversityCN2 papers
- Tianjin UniversityCN2 papers
- Tongji UniversityCN2 papers
- University of AucklandNZ2 papers
- Xi'an Jiaotong UniversityCN2 papers
- Aalto UniversityFI1 paper
- Argonne National LaboratoryUS1 paper
- Beihang UniversityCN1 paper
5 papers · 1 filter
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…
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-…
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…
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…
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…