Fetching the paper…
Reading the bibliography…
Smart contracts are programs running on blockchain to execute transactions.
J. Cohen, “A coefficient of agreement for nominal scales,” Educational and psychological measurement , vol. 20, no. 1, pp. 37–46, 1960
1960
Earlier work this paper cites.
C. B. Seaman, “Qualitative methods in empirical studies of software engineering,” IEEE Transactions on Software Engineering , vol. 25, no. 4, pp. 557–572, 1999
1999
Earlier work this paper cites.
W. Weimer and G. C. Necula, “Finding and preventing run-time error handling mistakes,” in Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications , 2004, pp. 419–431
2004
Earlier work this paper cites.
M. Susskraut and C. Fetzer, “Automatically finding and patching bad error handling,” in Proceedings of the 2006 Sixth European Dependable Computing Conference , 2006, pp. 13–22
2006
Earlier work this paper cites.
F. Castor Filho, A. Garcia, and C. M. F. Rubira, “Extracting error handling to aspects: A cookbook,” in Proceedings of the 2007 IEEE International Conference on Software Maintenance , 2007, pp. 134–143
2007
Earlier work this paper cites.
K. Pan, S. Kim, and E. J. Whitehead, “Toward an understanding of bug fix patterns,” Empirical Software Engineering , vol. 14, no. 3, pp. 286–315, 2009
2009
Earlier work this paper cites.
J. Lawall, B. Laurie, R. R. Hansen, N. Palix, and G. Muller, “Finding error handling bugs in openssl using coccinelle,” in Proceedings of the 2010 European Dependable Computing Conference , 2010, pp. 191–196
2010
Earlier work this paper cites.
D. Yuan, S. Park, and Y. Zhou, “Characterizing logging practices in open-source software,” in Proceedings of the 2012 International Conference on Software Engineering , 2012, pp. 102–112
2012
Earlier work this paper cites.
S. Jana, Y. J. Kang, S. Roth, and B. Ray, “Automatically detecting error handling bugs using error specifications,” in Proceedings of the 2016 25th USENIX Security Symposium , 2016, pp. 345–362
2016
Earlier work this paper cites.
L. Luu, D.-H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter,” in Proceedings of the 2016 ACM SIGSAC conference on computer and communications security , 2016, pp. 254–269
2016
Earlier work this paper cites.
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy et al. , “Formal verification of smart contracts: Short paper,” in Proceedings of the 2016 ACM workshop on programming languages and analysis for security , 2016, pp. 91–96
2016
Earlier work this paper cites.
Y. Tian and B. Ray, “Automatically diagnosing and repairing error handling bugs in c,” in Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , 2017, pp. 752–762
2017
Cited alongside, same era.
C. F. Torres, J. Schütte, and R. State, “Osiris: Hunting for integer bugs in ethereum smart contracts,” in Proceedings of the 34th Annual Computer Security Applications Conference , 2018, pp. 664–676
2018
Cited alongside, same era.
S. Kalra, S. Goel, M. Dhawan, and S. Sharma, “Zeus: Analyzing safety of smart contracts.” in Proceedings of the 2018 ISOC Network and Distributed System Security Symposium , 2018, pp. 1–12
2018
Cited alongside, same era.
2018
Cited alongside, same era.
Y. Chandra and L. Shang, Qualitative research using R: A systematic approach . Springer, 2019
2019
Later among the works it cites.
Z. Gao, V. Jayasundara, L. Jiang, X. Xia, D. Lo, and J. Grundy, “Smartembed: A tool for clone and bug detection in smart contracts through structural code embedding,” in Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution , 2019, pp. 394–397
2019
Later among the works it cites.
Z. Jia, S. Li, T. Yu, X. Liao, J. Wang, X. Liu, and Y. Liu, “Detecting error-handling bugs without error specification input,” in Proceedings of the 2019 34th IEEE/ACM International Conference on Automated Software Engineering , 2019, pp. 213–225
2019
Later among the works it cites.
Z. Yang and H. Lei, “Fether: An extensible definitional interpreter for smart-contract verifications in coq,” IEEE Access , vol. 7, pp. 37 770–37 791, 2019
2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
P. Tsankov, A. Dan, D. Drachsler-Cohen, A. Gervais, F. Buenzli, and M. Vechev, “Securify: Practical security analysis of smart contracts,” in Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security , 2018, pp. 67–82
2018
Cited alongside, same era.
I. Nikolić, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor, “Finding the greedy, prodigal, and suicidal contracts at scale,” in Proceedings of the 2018 34th Annual Computer Security Applications Conference , 2018, pp. 653–663
2018
Cited alongside, same era.
W. Zou, D. Lo, P. S. Kochhar, X.-B. D. Le, X. Xia, Y. Feng, Z. Chen, and B. Xu, “Smart contract development: Challenges and opportunities,” IEEE Transactions on Software Engineering , 2019
2019
Cited alongside, same era.
C. F. Torres, M. Steichen et al. , “The art of the scam: Demystifying honeypots in ethereum smart contracts,” in Proceedings of the 2019 28th Usenix Security Symposium , 2019, pp. 1591–1607
2019
Cited alongside, same era.
J. Feist, G. Grieco, and A. Groce, “Slither: a static analysis framework for smart contracts,” in Proceedings of the 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain , 2019, pp. 8–15
2019
Cited alongside, same era.
M. Mossberg, F. Manzano, E. Hennenfent, A. Groce, G. Grieco, J. Feist, T. Brunson, and A. Dinaburg, “Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,” in Proceedings of the 2019 IEEE/ACM 34th International Conference on Automated Software Engineering , 2019, pp. 1186–1189
2019
Cited alongside, same era.
“Top 12 smart contract use cases,” https://101blockchains.com/smart-contract-use-cases/
Cited in the paper.
“Ethereum: A secure decentralized generalized transaction ledger,” https://ethereum.github.io/yellowpaper/paper.pdf
Cited in the paper.
Z. Gao, L. Jiang, X. Xia, D. Lo, and J. Grundy, “Checking smart contracts with structural code embedding,” IEEE Transactions on Software Engineering , 2020
2020
Later among the works it cites.
T. Durieux, J. F. Ferreira, R. Abreu, and P. Cruz, “Empirical review of automated analysis tools on 47,587 ethereum smart contracts,” in Proceedings of the 2020 ACM/IEEE 42nd International Conference on Software Engineering , 2020, pp. 530–541
2020
Later among the works it cites.
Y. Xue, M. Ma, Y. Lin, Y. Sui, J. Ye, and T. Peng, “Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts,” in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2020, pp. 1029–1040
2020
Later among the works it cites.
S. Zhou, M. Möser, Z. Yang, B. Adida, T. Holz, J. Xiang, S. Goldfeder, Y. Cao, M. Plattner, X. Qin et al. , “An ever-evolving game: Evaluation of real-world attacks and defenses in ethereum ecosystem,” in Proceedings of the 2020 29th Usenix Security Symposium , 2020, pp. 2793–2810
2020
Later among the works it cites.
T. Chen, Z. Li, Y. Zhu, J. Chen, X. Luo, J. C.-S. Lui, X. Lin, and X. Zhang, “Understanding ethereum via graph analysis,” ACM Transactions on Internet Technology , vol. 20, no. 2, pp. 1–32, 2020
2020
Later among the works it cites.