Chao Peng
Chao Peng
Home
News
Featured Publications
Service
Teaching
Awards
Work Experience
CV
简历
Light
Dark
Automatic
Test Generation
Testing Smart Contracts: Which Technique Performs Best?
Executing, verifying and enforcing credible transactions on permissionless blockchains is done using smart contracts. A key challenge …
Sefa Akca
,
Chao Peng
,
Ajitha Rajan
PDF
Cite
DOI
Cite
×