A bibliography of papers on security analysis and testing of Ethereum smart contracts or relevant papers. No Title Year Venue 1 A study of inline assembly in solidity smart contracts 2022 OOPSLA 2 An Empirical Study on Implicit Constraints in Smart ContractStatic Analysis 2022 ICSE-SEIP 3 Elipmoc: Advanced Decompilation of Ethereum Smart Contracts 2022 4 GasSaver: A Tool for Solidity Smart Contract Optimization 2022 BSCI 5 Mutation Testing for Integer Overflow in Ethereum Smart Contracts 2022 TSINGHUA SCIENCE AND TECHNOLOGY 6 Profiling gas consumption in solidity smart contracts 2022 Journal of Systems and Software 7 A Literature Survey on Smart Contract Testing and Analysis for Smart Contract 2021 ICOSEC 8 A Multi-Modal Transformer-based Code Summarization Approach for Smart Contracts 2021 ICPC 9 Analyzing Transaction Confirmation in Ethereum Using Machine Learning Techniques 2021 SOCCA 10 Combining Graph Neural Networks with Expert Knowledge for Smart Contract 2021 TKDE 11 EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode 2021 ICPC 12 Execution of a Federated Learning process within a smart contract 2021 ICCE 13 Making Smart Contracts Smarter 2021 ICBC 14 SADPonzi: Detecting and Characterizing Ponzi Schemes in Ethereum Smart 2021 Comput. Syst. 15 Smart Contracts: Some Practical Considerations 2021 16 SmartGift: Learning to Generate Practical Inputs for Testing Smart Contracts 2021 ICSME 17 Static Profiling and Optimization of Ethereum Smart Contracts Using Resource 2021 IEEE Access 18 A Survey on Vulnerability Detection Tools of Smart Contract Bytecode 2020 ICISCAE 19 ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts 2020 CCS 20 Automated Generation of Test Cases for Smart Contract Security Analyzers 2020 IEEE Access 21 Behavioral simulation for smart contracts 2020 PLDI 22 Clairvoyance: Cross-contract Static Analysis for Detecting Practical Reentrancy 2020 ICSE-companion 23 Countermeasure Based on Smart Contracts and AI against DoS/DDoS Attack 2020 24 Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities 2020 ASE 25 Domain Specific Language for Smart Contract Development 2020 ICBC 26 Finding Ethereum Smart Contracts Security Issues by Comparing History Versions 2020 ASE 27 GDPR Compliant Recruitment Platform using Smart Contracts and Executable 2020 EPE 28 Model-Based Software Design and Testing in Blockchain Smart Contracts: 2020 IEEE Access 29 STAN: Towards Describing Bytecodes of Smart Contract 2020 QRS 30 Testing Ethereum Smart Contracts: A Comparison of SymbolicAnalysis and 2020 SAICSIT 31 Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts 2020 OJCS 32 VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts 2020 SP 33 Verified Development and Deployment of Multiple Interacting Smart Contracts 2020 IEEE 34 sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts 2020 ICSE 35 Automatic smart contract generation using controlled natural language and 2019 IBM 36 Gigahorse: Thorough, Declarative Decompilation of Smart Contracts 2019 ICSE 37 ScanAT: Identification of Bytecode-Only Smart Contracts With Multiple Attribute 2019 IEEE Access 38 Strengthening Smart Contracts to Handle Unexpected Situations 2019 DAPPCON 39 Blockchain challenges and opportunities: a survey 2018 Int. J. Web and Grid Services 40 EClone: detect semantic clones in Ethereum via symbolic transaction sketch 2018 SEC/FSE 41 Self-Aware Smart Contracts with Legal Relevance 2018 IJCNN 42 Towards a Framework for Differential Unit Testing ofObject-Oriented Programs 2007 AST 43 Rostra: A FrameworkforDetecting Redundant Object-Oriented Unit Tests 2004 ASE