<<< BACK <<<

STM-068: ModCon

Authors

            Liu, Ye and Li, Yi and Lin, Shang-Wei and Yan, Qiang

Venue and Year

            ESEC/FSE, 2020

Original Work

            ModCon: A Model-Based Testing Platform for Smart Contracts

Defense Modality

            Subtractive + Additive

Core Method(s)

            fuzzing

Input-Output Mapping

            source code => report

Targeted Contracts

            Any contract

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities