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
Showing 2024 · cs.SEShow all
2 papers · 2 filters
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…