MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts.

AllImages Books Videos Maps News Shopping

A User-Behavior-Sequence-Aware Metamorphic Testing Approach for ...

www.researchgate.net › publication › 38...

Oct 18, 2024 · MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts. July 2024. DOI:10.1109/ICWS62655.2024.00118. Conference: ...

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing ...

www.ivysci.com › articles › 7064815__...

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts. Yuan-rui Ji, Chang-Ai Sun, Xin-hui Zheng, Huai Liu.

A User-Behavior-Sequence-Aware Metamorphic Testing Approach for ...

com94016.wordpress.com › 2024/11/07

Nov 7, 2024 · ... MT4SC, for implementing metamorphic testing on smart contracts. Specifically, we propose a systematic way to construct metamorphic relations ...

Metamorphic Testing for Smart Contract Vulnerabilities Detection

www.semanticscholar.org › paper › Meta...

The experimental results show that metamorphic testing is a promising method for detecting smart contract vulnerabilities and achieves a higher detection ...

IEEE International Conference on Web Services (Research Track ...

www.ivysci.com › conferences

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts. 2024. Details · Resource Aware Multi-User Task Offloading In Mobile Edge ...

An iterative metamorphic testing technique for web services and ...

www.semanticscholar.org › paper › An-it...

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts · Computer Science. 2024 IEEE International Conference on Web… · 2024.

An Interleaving Guided Metamorphic Testing Approach for Concurrent ...

www.researchgate.net › publication › 37...

Oct 22, 2024 · MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts. Conference Paper. Jul 2024. Yuan-rui Ji ...

An Interleaving Guided Metamorphic Testing Approach for Concurrent ...

dl.acm.org › doi

In this article, we investigate the application of metamorphic testing (MT), a mainstream technique to address the oracle problem, into the testing of ...

Huai Liu - CSAuthors

www.csauthors.net › huai-liu

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts. Yuan-rui Ji. ,. Chang-Ai Sun. ,. Xin-hui Zheng. ,. Huai Liu. Proceedings ...

Huai Liu (0000-0003-3125-4399) - ORCID

orcid.org › ...

MT4SC: A User-Behavior-Sequence-Aware Metamorphic Testing Approach for Smart Contracts. 2024 IEEE International Conference on Web Services (ICWS). 2024-07-07 ...